6 Apr
2005
6 Apr
'05
2:52 a.m.
Arjun Guha
data (Eq v) => EqList v = EqList [v]
I'd like to make it an instance of Functor. However, fmap takes an arbitrary function of type a -> b. I need an Eq constraint on a and b. Is there any way to do this without creating my own `EqFunctor' class with explicitly-kinded quantification:
No. Why not to remove the Eq v constraint in the type? -- __("< Marcin Kowalczyk \__/ qrczak@knm.org.pl ^^ http://qrnik.knm.org.pl/~qrczak/