Changelog for checked-exceptions-0.3.0.0

Revision history for checked-exceptions

Breaking: Control.Monad.CheckedExcept.Plugin moved to the checked-exceptions:plugin sublibrary; add checked-exceptions:plugin to build-depends.
Support GHC 9.8+ for the core library (base >= 4.16). Plugin sublibrary requires GHC 9.10+ with matching ghc (9.10 / 9.12 / 9.14; not ghc-lib).
OneOf: hide data constructor; construct with oneOf. Payload carries an ElemIx witness.
Elem and Contains are now classes producing ElemIx / Subset witnesses instead of vacuous type families.
Contains es es is no longer auto-derived for abstract es; use containsRefl or weakenExceptionsWith.
Export ElemIx, Subset, lookupSubset, containsRefl, weakenExceptionsWith, weakenOneOfWith.
Fix QualifiedDo >>= so the continuation can return a different type (b not a).
Replace the type-checker plugin's fiat coercions with a defaultingPlugin that proposes exception-set metavariable defaults.
Remove unsafeCoerceConstraint / unsound proveElem widening.
Drop ghc-tcplugins-extra dependency.