haskell does support it.

c style:

  type Foo = Int

pascal style:

  newtype Foo = Foo Int