Closed treeowl closed 7 years ago
Oh yes, it also removes unnecessary Distributive
constraints that snuck in somehow.
RyanGLScott has some valid criticisms of this particular version and will be submitting his own, after which I'll install the necessary coercions.
This is a version of #12 demonstrating how to break type checker loops. It also goes a bit wild with coercions. It'll need more CPP to work on earlier GHC versions!