1 Feb
2016
1 Feb
'16
3:30 p.m.
On Mon, Feb 01, 2016 at 09:22:31PM +0100, Wojtek Narczyński wrote:
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?
Correct. The actual reason is more subtle. See my sibling post. Tom