Coding style: Using StandaloneKindSignatures in GHC
hecate at glitchbra.in
Tue May 18 18:46:22 UTC 2021
Le 18/05/2021 à 20:41, Richard Eisenberg a écrit :
> On the other hand, I'm in support of encouraging the use of a standalone kind signature for type declarations where at least one parameter of the datatype does not have kind Type. In fact, I'd be in support of mandating (such as we can) such a standalone kind signature in our style guide. The cases where at least one parameter of a datatype does not have kind Type are the places we need the extra information.
This is indeed quite reasonable. I will follow you on that point.
More information about the ghc-devs