| Simon PJ and I have come up with an extension to newtype | deriving clauses which is intended to make it easier to make | 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. Simon