Tis the season for type class overloading fun...
On 2001-02-16T21:45:32+0800, Saswat Anand wrote:
> lift2 :: (a -> b -> c) -> Formula d a -> Formula e b -> Formula Env c
This type is too general. You need to specify a context that requires
both d and e to satisfy Lift:
lift2 :: (Lift d, Lift e) =>
(a -> b -> c) -> Formula d a -> Formula e b -> Formula Env c
--
Edit this signature at http://rodimus.digitas.harvard.edu/cgi-bin/ken/sig
"The day Microsoft makes something that doesn't suck is probably the day
they start making vacuum cleaners" - Ernst Jan Plugge
PGP signature
