This generic Morloc expression:

id a :: a -> a 

Can easily be written incorrectly as:

id :: a -> a

Where the generic declaration is missing. This is particularly easy for Haskell programmers, where such declarations are not necessary. Currently when these declarations are missing, the variables are considered non-generic and this leads to the ugly error messages like:

At index xxx: General type error: Type evaluation failed: (VarU (TV {unTVar = "Int"}),VarU (TV {unTVar = "a"}))

It would be getter to check in these cases if the VarU is lowercase. If so, warn that a generic declaration may have been forgotten. Even better, the compiler could suggest the fix (though this won't be possible until I fix the "span" problem).