Dear devs,

May I update Kind page of trac wiki [1] 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 [2][3] are explained as "unlifted values".)

[1]: https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/Kinds

[2]: https://ghc.haskell.org/trac/ghc/wiki/UnliftedDataTypes

[3]: https://ghc.haskell.org/trac/ghc/wiki/NoSubKinds

Regards,

Takenobu