| > That is, deriving works for arbitrary classes for newtypes, just using | > the instance | > for the representation type. This greatly alleviates the pain you refer | > to. It's documented in the GHC user manual. | | I recall that you came across a glitch with the specification of this | feature -- is that all sorted out now? Hmm. I've forgotten a glitch. I'm not aware of any problem though. S