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
