On Fri, Nov 26, 2010 at 11:40 PM, Mitar <mmitar at gmail.com> wrote: > And SampleVar could also be an instance of Eq It already is. > and Typable. Good point! Proposal with patch: http://hackage.haskell.org/trac/ghc/ticket/4537 Let's also discuss (not that there's much to discuss) this proposal in this thread. Regards, Bas