Wed, 19 Apr 2000 03:29:44 -0700, Simon Peyton-Jones <[EMAIL PROTECTED]> pisze:
> There is also the question of whether newtype is a good thing at all.
> Maybe we'd be better off with Gofer's restricted type synonyms.
I prefer newtypes, because (1) IMHO the rules are simpler, (2) newtype
is often needed anyway for making instances, (3) the knowledge of
the representation can be distributed across modules as for datatypes.
--
__("< Marcin Kowalczyk * [EMAIL PROTECTED] http://qrczak.ids.net.pl/
\__/ GCS/M d- s+:-- a23 C+++$ UL++>++++$ P+++ L++>++++$ E-
^^ W++ N+++ o? K? w(---) O? M- V? PS-- PE++ Y? PGP+ t
QRCZAK 5? X- R tv-- b+>++ DI D- G+ e>++++ h! r--%>++ y-
