Anonymous functions have no typechecking #34
Description
This is because of the way the "caching" mechanism works for typechecking. Once a named function is typechecked for a particular unique set of argument types, this information is stored in the type environment. This currently isn't possible for anonymous functions.