... | ... | @@ -174,7 +174,7 @@ or simply directly annotate the type variable with the intended kind: |
|
|
data D (a :: Type) = MkD
|
|
|
```
|
|
|
|
|
|
#### Polymorphic recursion
|
|
|
#### Polymorphic recursion for datatype declarations
|
|
|
|
|
|
Another impact of the `GHC2021` extension set is that it enables `-XStandaloneKindSignatures` which disables `-XCUSKs`. This means that data declarations that rely on polymorphic recursion will need an standalone kind signature to typecheck. For example:
|
|
|
|
... | ... | |