[Haskell-cafe] Promoted data types
rae at richarde.dev
Mon May 3 21:57:41 UTC 2021
Sounds like you've figured this out, so I won't write a long response to your previous email -- but let me know if there are still outstanding questions there.
> On May 3, 2021, at 5:26 PM, coot at coot.me wrote:
> Now the type constructor of a type of kind `K Bool`, must is `K0 'True`, `K0 'False`, or `K0` of some exotic type of kind `Bool`.
> Thanks for making me realise that!
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe