[Haskell-cafe] difference between type and newtype

Neil Mitchell ndmitchell at gmail.com
Fri Aug 25 14:52:35 EDT 2006


> 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.



More information about the Haskell-Cafe mailing list