currying as an example of adjunctions