# 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