Curried Function

See CurryingSchonfinkelling