Re: [Haskell-cafe] difference between type and newtype

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