[Haskell-cafe] Instance match surprise

[Wojtek Narczyński]

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?

-- 
Wojtek