Implement Function type, getters for its members, and a factory function to create an I combinator