[Haskell-cafe] difference between type and newtype
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
> 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