[Haskell-cafe] Promoted data types

[coot at coot.me]

Thank you Richard, everything clear now.


Sent from ProtonMail mobile



\-------- Original Message --------
On 3 May 2021, 23:57, Richard Eisenberg < rae at richarde.dev> wrote:

>
> 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][coot_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!
>
>
>


[coot_coot.me]: mailto:coot at coot.me
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20210503/9bb064ee/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 554 bytes
Desc: OpenPGP digital signature
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20210503/9bb064ee/attachment.sig>