Moved argument to its own line.
You can now lookup generic defs, but they are (incorrectly) not typechecked.