[Haskell-cafe] Instance match surprise

Wojtek Narczyński wojtek at power.com.pl
Mon Feb 1 20:22:31 UTC 2016

On 01.02.2016 20:19, Imants Cekusins wrote:
> in
> instance (Eq a, Eq q, Typeable a, Typeable q, AtmAcct a, Against q) =>
>      Match a q where
> ANY is q
> because
> instance Against ANY
But I require q to be Eq and Typeable, and ANY is none of those two?


More information about the Haskell-Cafe mailing list