Documenting the typing rules of anonymous functions