... | ... | @@ -136,6 +136,10 @@ g x = x `f` "hello" |
|
|
|
|
|
The `Nat` kind is now a type synonym for `Natural` (from `Numeric.Natural`). As a consequence, one must enable `TypeSynonymInstances` in order to define instances for `Nat`.
|
|
|
|
|
|
#### `Option` removed from `Data.Semigroup`
|
|
|
|
|
|
The `Option` newtype, which was deprecated in GHC 9.0, is now removed as of 9.2. `Option` was originally introduced to produce an alternative to `Maybe` such that its `Monoid (Option a)` instance only requires `Semigroup a`. However, the `Monoid (Maybe a)` instance was changed in GHC 8.4 to only require a `Semigroup a` constraint, making `Option` redundant. As such, any uses of `Option` can now be replaced with `Maybe`.
|
|
|
|
|
|
#### Changes to the `(<=)` and `(<=?)` type families
|
|
|
|
|
|
A new kind-polymorphic `Compare` type family was added in the `Data.Type.Ord` module, and moreover, the `(<=?)` and `(<=)` type families from `GHC.TypeNats` are now defined in terms of `Compare`. This has two important repercussions:
|
... | ... | |