> Well, we have at least one very useful example of adjunction. It's > called "curry". See, if X is some arbitrary type, you can define >
This adjunction is the one that makes a category cartesian closed. Dominic. _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
