<div dir="ltr"><div>TLDR: I wrote up an idea: <a href="https://gist.github.com/andrewthad/90a4b23051870d14afb4ba064699bc5b">https://gist.github.com/andrewthad/90a4b23051870d14afb4ba064699bc5b</a>.<br></div><div><br></div><div>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 <a href="https://gitlab.haskell.org/ghc/ghc/wikis/unlifted-data-types">https://gitlab.haskell.org/ghc/ghc/wikis/unlifted-data-types</a>, but I thought I'd share it here.<br></div><div><div><br>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature">-Andrew Thaddeus Martin</div></div></div></div>