separated currying adjunctions from the notion of a CCC.