Changelog for type-errors

0.2.0.2 (2023-04-08)

Bumped version bounds

0.2.0.1 (2022-11-24)

Bumped version bounds

0.2.0.0 (2019-07-03)

Breaking Changes

The UnlessPhantom and various Subst type families were broken in the presence of stuckness. This rendered them almost entirely unusable --- so they now have a new implementation in terms of te.
Added te, a TemplateHaskell splice, which will perform symbolic substitutions over types. See haddock for the migration details.

Unreleased changes