Type classes in GADTs
nominolo at googlemail.com
Thu Oct 30 11:52:43 EDT 2008
2008/10/30 C Rodrigues <red5_2 at hotmail.com>:
> 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.
data Eq a => EqConstraint a b = EqConstraint b.
although this must be a typo, since it doesn't make any sense to me.
More information about the Glasgow-haskell-users