[gergoerdi]

If your type system is HM, consider a compositional type system instead, for much better explainability of type derivations and type errors: https://unsafePerform.IO/projects/talks/2016-06-compty/CompT...

[skulk]

that is the best use of non canonical domain name capitalization I've ever seen.