type-errors v0.2.0.0 Release NotesRelease Date: 2019-07-03 // over 2 years ago
💥 Breaking Changes
Substtype families were broken in the presence of stuckness. This rendered them almost entirely unusable --- so they now have a new implementation in terms of
- ➕ Added
te, a TemplateHaskell splice, which will perform symbolic substitutions over types. See haddock for the migration details.