Lift restriction on first character of type-level identifiers
jgrosso opened this issue · comments
Continuation of #71, for type-level names.
If Haskell ever gets support for allowing unicase characters to start type-level names, we could use a unicase character as the prefix for both value and type-level types. (However, AFAIK this isn't being worked on – just listing the possibility for posterity.)