We don't allow a lambda variable to be polymorphic anymore. Of course this isn't bad, but it makes things too difficult, at least for now. It's also likely that we don't need this specific feature very often I think.
72fe0cd6db