New extension in GHC: newtype deriving clause

Simon Peyton-Jones
Fri, 21 Dec 2001 08:18:34 -0800

| Simon PJ and I have come up with an extension to newtype=20
| deriving clauses which is intended to make it easier to make=20
| types abstract.

This newtype-deriving stuff that John describes is fully implemented
in the GHC in the repository (for those of you who are keen) and
will be in the release of GHC 5.03 we are planning for early new year.