Tue, 15 Jan 2002 13:06:58 +0100, Rijk-Jan van Haaften pisze:

This feature is one I consider among the worst in Haskell. If a datatype with just a single constructor can be optimized away,

It can't. newtype has a different semantics than data, as others explained. It would be weird if data had non-uniform semantics for the one-constructor-with-one-field case, even though usually newtype is the variant we prefer. -- __("< Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ QRCZAK