3 Dec
2009
3 Dec
'09
11:15 a.m.
Of course, I meand 'deriving', not 'defining' /me embarsed 2009/12/3 Matthew Pocock <matthew.pocock@ncl.ac.uk>
Perhaps what you are looking for is a more powerful "defining" semantics?
newtype MyFoo = Foo defining (Foo(..)) -- all class instances that Foo has are delegated through from MyFoo