You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
* Drops Peano-numerals
* Obsolete kind-generic classes
* Now all types are kinded with GHC's builtin type-level naturals, and no type parameters for naturals.
* Drops dependency for `singletons` package and their relatives.
* This is transitional change: preparation for future rework of `type…
…-natural`
- Types and constraints in `Data.Sized.Builtin` is now incompatible with `Data.Sized` and `Data.Sized.Peano`
- The latter two modules will be removed in future release.
* Removes `NilL` and `NilR`
* Compolete overhaul on `Data.Sized.Builtin`
- Stop using orders from `Data.Singletons`
- Types of nested pattern synonyms can now be inferred correctly