Of course, I meand 'deriving', not 'defining'<br><br>/me embarsed<br><br><div class="gmail_quote">2009/12/3 Matthew Pocock <span dir="ltr"><<a href="mailto:matthew.pocock@ncl.ac.uk">matthew.pocock@ncl.ac.uk</a>></span><br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="gmail_quote"><div>Perhaps what you are looking for is a more powerful "defining" semantics?<br>
<br>newtype MyFoo = Foo defining (Foo(..)) -- all class instances that Foo has are delegated through from MyFoo<font color="#888888"></font><br></div></div></blockquote></div>