<div dir="ltr"><div>Dear devs,</div><div><br></div><div>Apologies if I'm missing list.</div><div><br></div><div>May I update Kind page on wiki[1] ?</div><div><br></div><div><br></div><div>In my understanding[2], kind '#' means "unlifted" kind rather than "unboxed" kind.</div><div>If it's right, may I update the wiki[1] for newcomers ?</div><div><br></div><div>I'd like to change the wiki page[1] as following:</div><div><br></div><div>- GHC introduces another inhabited kind, #, for unboxed types.</div><div>+ GHC introduces another inhabited kind, #, for unlifted types.</div><div><br></div><div><br></div><div>[1]: <a href="https://wiki.haskell.org/Kind">https://wiki.haskell.org/Kind</a></div><div>[2]: <a href="https://ghc.haskell.org/trac/ghc/browser/ghc/compiler/types/TyCoRep.hs#L284">https://ghc.haskell.org/trac/ghc/browser/ghc/compiler/types/TyCoRep.hs#L284</a></div><div><br></div><div>I wish you a happy new year.</div><div>Regards,</div><div>Takenobu</div><div><br></div></div>