GitLab

This just checks that instance overlap is reported properly.

Very many of these changes are minor error-message wibbles,
but there are some to do with higher-rank and impredicativity
that are more substantial.  I'm looking at those separately,
but meanwhile validate works.

       f :: Eq a => a -> a
rather than
       f :: (Eq a) => a -> a