Version 0.3.1.0 (2021-08-09)

Ensure that the coercions stored in Reductions are always oriented left-to-right, by making the internal rewriting compatibility layer also use left-to-right coercions.

Version 0.3.0.0 (2021-08-04)

Account for changes in rewriting in GHC 9.4:

• rewriter plugins can no longer emit new Wanted constraints if they don't rewrite the type family application;
• coercions in the rewriter are now oriented left-to-right, requiring mkTyFamAppReduction to be adapted.

Version 0.2.0.0 (2021-07-22)

Initial release on Hackage.