30 Oct
2008
30 Oct
'08
11:52 a.m.
2008/10/30 C Rodrigues
evidenceOfEq :: CAOp a -> (Eq a => b) -> b
isn't that the same as: evidenceOfEq :: Eq a => CAOp a -> b -> b
Neither does it accept data EqConstraint a b = EqConstraint (Eq a => b). Foiled again.
same here: data Eq a => EqConstraint a b = EqConstraint b. although this must be a typo, since it doesn't make any sense to me.