17 Mar
2009
17 Mar
'09
6:33 p.m.
Martijn van Steenbergen wrote:
class Eq2 f where eq2 :: f a b -> f a' b' -> Maybe (a :=: a', b :=: b')
Is that right, or does the following make more sense?
class Eq2 f where eq2 :: f a b -> f a' b' -> (Maybe (a :=: a'), Maybe (b :=: b'))
Thanks, Martijn.