[Haskell-cafe] Re: Functional programmer's intuition for adjunctions?

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.