Using curried definitions