0.4.1

• add DerivingVia wrapper for generic instances (like Generically)

0.4.0

• redesign some instances to avoid the decomposer style
  • alter Identity, Const instances
  • remove Maybe instance
• expand sized vector instance

0.3.2

• support GHC 9.4

0.3.1

• update refined (polykind predicate)

0.3.0

• switch to associated type family for Weak inside Weaken - Strengthen
  now has Weaken as a superclass
  • I'm fairly confident that things make more sense this way - we get to
    remove an open type family, improve type inference, and prevent users from
    writing potentially dangerous instances. For that, a bit of asymmetry is
    welcome.
• better document generic derivers
• clarify instance design, provide more decomposer instances
• various refactoring

0.2.0

Initial Hackage release (dependency issues prevented uploading).

• fix field indexing in generic errors
• add unsafe strengthening
• add property and error tests

0.1.0

Initial release.

• basic instances (lists, numerics)
• generic derivations
• super explicit errors