GitLab

":load M" now complains if M.hs doesn't contain module M, but ':load
M.hs' does not.  This seems reasonable to me, but there's potential
for confusion.  I'm not sure how to improve the situation though.

- RankN1 was a bogus test.  There error didn't have anything to do with
  rank-n types, but was just due to an ambiguous signature.