<div>ghci> :k Maybe</div><div>Maybe :: * -> *</div><br><div class="gmail_quote">On Sat, Jun 9, 2012 at 1:34 AM, Rustom Mody <span dir="ltr"><<a href="mailto:rustompmody@gmail.com" target="_blank">rustompmody@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="gmail_quote"><div class="im">On Thu, Jun 7, 2012 at 7:16 AM, AntC <span dir="ltr"><<a href="mailto:anthony_clayden@clear.net.nz" target="_blank">anthony_clayden@clear.net.nz</a>></span> wrote:<br>
</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">
I'm confused about something with promoted Kinds (using an example with Kind-<br>
promoted Nats).<br>
<br>
This is in GHC 7.4.1. (Apologies if this is a known bug/limitation/already<br></div>
explained somewhere....<br></blockquote><div><br>Is there a way of seeing kinds in ghci?<br>[In gofer I could do :s +k -- yeah this was 20 years ago :-) ] <br></div></div><br>
<br>_______________________________________________<br>
Glasgow-haskell-users mailing list<br>
<a href="mailto:Glasgow-haskell-users@haskell.org">Glasgow-haskell-users@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/glasgow-haskell-users" target="_blank">http://www.haskell.org/mailman/listinfo/glasgow-haskell-users</a><br>
<br></blockquote></div><br>