Strictness in Kinds

Andrew Martin andrew.thaddeus at
Fri Jun 14 14:57:06 UTC 2019

TLDR: I wrote up an idea:

Last night, the phrase "strictness in kinds" just stuck in my head. I could
have sworn I'd heard it or read it before. But after some googling, I
couldn't find anything on it. So, I started think about what it would look
like for GHC to track strictness in the kind of an expression. It's kind of
like proposals B2 and B3 from, but I thought
I'd share it here.

-Andrew Thaddeus Martin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the Libraries mailing list