Re: newtype/datatype (was efficiency)

Hi,

data T -- has 1 value: _|_ Minor nitpick: that Hugs and GHCi accept it, doesn't mean it's legal Haskell'98. Otherwise we would have existential and universal quantified types as well :-)

Cheers, Jan