2008/10/30 C Rodrigues <[EMAIL PROTECTED]>: > 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. _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users