Yes, that looks right. But much is in flux with levity polymorphism!
Thanks. We need people to keep improving the wiki; it tends to get out of date
From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Takenobu Tani
Sent: 13 January 2017 13:01
Subject: Kind page of trac wiki
May I update Kind page of trac wiki  as following ?
- "#" is the kind of unboxed values. Things like Int# have kind #.
+ "#" is the kind of unlifted values. Things like Int# have kind #.
Is this correct?
(These pages  are explained as "unlifted values".)
ghc-devs mailing list