Fix: "a" and "a1" are both valid polymorphic types

Since the convention is to use "a" and "b", I expected GHC's
auto-generated types to also consist of a single letter.

I should write a proper type parser.