Lifting to the limit

Ken Shan ken@digitas.harvard.edu
Fri, 16 Feb 2001 15:17:04 -0500


--h31gzZEtNLTqOjlF
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

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) =3D>
        (a -> b -> c) -> Formula d a -> Formula e b -> Formula Env c

--=20
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

--h31gzZEtNLTqOjlF
Content-Type: application/pgp-signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.4 (GNU/Linux)
Comment: For info see http://www.gnupg.org

iD8DBQE6jYrAzjAc4f+uuBURApcqAJ46F3PcYdHN66Q9fPgQxJuCULKhoQCg/r1W
b5c/IaGdO+SpJO+YeWxdqts=
=AYyB
-----END PGP SIGNATURE-----

--h31gzZEtNLTqOjlF--