... | ... | @@ -35,4 +35,8 @@ data instance T (a :: Type) = MkT1 a |
|
|
|
|
|
### `base-4.16.*`
|
|
|
|
|
|
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`. |
|
|
\ No newline at end of file |
|
|
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`.
|
|
|
|
|
|
### `ghc-prim-0.8.*`
|
|
|
|
|
|
TODO: Mention `Int{8,16,32}#`/`Word{8,16,32}#`-related changes |
|
|
\ No newline at end of file |