[Haskell-cafe] Re: deriving

Christian Maeder Christian.Maeder at dfki.de
Tue Apr 8 11:03:21 EDT 2008

Anton van Straaten wrote:
> How about making "deriving x" an expression which means:
>   instance x where <compiler implementation>

"deriving Eq" i.e. following "data List a = List a" creates an instance

 instance Eq a => Eq (List a) where <compiler implementation>

The problem was discussed for Stand-alone deriving declarations:


Cheers Christian

More information about the Haskell-Cafe mailing list