[Haskell-cafe] difference between type and newtype

[Neil Mitchell]

Hi

> type Z = Int
Here you can replace all occurances of Z with Int, and its exactly the
same program.

> newtype T1 a = T1 (Z -> (a,Z))
newtype T1 a is the same as
data T1 a

> why mkT is a type constructor and mkT1 seems not to be?
In what way is mkT a type constructor? In this program only T1 is a
type constructor, as far as I can see.

Thanks

Neil