Re: Lifting to the limit

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