FUNCTION_TYPE

The type of function that this continuation type supports. Continuation types are contravariant with respect to the function type's argument types, and, surprisingly, they are also contravariant with respect to the function type's return type.