Arjun Guha <[EMAIL PROTECTED]> writes:
> > 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
\__/ [EMAIL PROTECTED]
^^ http://qrnik.knm.org.pl/~qrczak/
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
