A static implementation of curry combinators.