# Changelog for type-errors

## 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