Comment 13 for bug 482947

Marking as Won't Fix. One day, may reassess. In the meantime, you can't mention a new type variable in the body of a function (but you can introduce implicit monomorphic type variables by assigning without declaring variables).