[Haskell-cafe] Promoted data types

Richard Eisenberg 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.

Thanks,
Richard

> 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...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20210503/69168614/attachment.html>


More information about the Haskell-Cafe mailing list