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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe