<div dir="ltr"><div>Hi,</div><div><br></div><div>The '*' means kind "lifted".</div><div>The '#' means kind "unlifted".</div><div><br></div><div>Futhermore,</div><div>"TYPE 'Lifted" is alias to '*'</div><div>"TYPE 'Unlifted" is alias to '#'</div><div><br></div><div><br></div><div>Are these also useful?</div><div><br></div><div>[1] <a href="https://wiki.haskell.org/Kind" target="_blank">https://wiki.haskell.org/Kind</a></div><div>[2] <a href="https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/TypeType" target="_blank">https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/TypeType</a></div><div>[3] <a href="https://ghc.haskell.org/trac/ghc/wiki/UnliftedDataTypes" target="_blank">https://ghc.haskell.org/trac/ghc/wiki/UnliftedDataTypes</a></div><div>[4] <a href="https://takenobu-hs.github.io/downloads/haskell_lazy_evaluation.pdf#page=192" target="_blank">https://takenobu-hs.github.io/downloads/haskell_lazy_evaluation.pdf#page=192</a></div><div><br></div><div>Regards,</div><div>Takenobu</div><div><br></div></div><div class="gmail_extra"><br><div class="gmail_quote">2016-02-06 21:48 GMT+09:00 Imants Cekusins <span dir="ltr"><<a href="mailto:imantc@gmail.com" target="_blank">imantc@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">actually "#" worked on Hoogle:<br>
<br>
<a href="https://wiki.haskell.org/Keywords#.23" rel="noreferrer" target="_blank">https://wiki.haskell.org/Keywords#.23</a><br>
<div class="HOEnZb"><div class="h5">_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br></div>