 Cartesian closed category of posets

The exponential $B^A$ in the category of posets is the poset of monotone maps $A\to B$ ordered pointwise. Evaluation is monotone, and currying gives the cartesian-closed adjunction.