Hello Haskell gurus,<br><br>I am trying to understand &quot;kind&quot; <br><br>Prelude&gt; :k Maybe<br>Maybe :: * -&gt; *<br>Prelude&gt; :k (-&gt;)<br>(-&gt;) :: ?? -&gt; ? -&gt; *<br><br clear="all">What are the question marks? Why are they different from *? How is this related to rank-2 polymorphism?<br>
<br>Thanks in advance,<br><br>Regards,<br>Amitava Shee<br><br>