"Since a closure is an anonymous function, it is natural to consider adding function types to the language." . . . .