Kindness of strangers (or strangeness of Kinds)

[Edward Kmett]

ghci> :k Maybe
Maybe :: * -> *

On Sat, Jun 9, 2012 at 1:34 AM, Rustom Mody <rustompmody at gmail.com> wrote:

> On Thu, Jun 7, 2012 at 7:16 AM, AntC <anthony_clayden at clear.net.nz> wrote:
>
>> I'm confused about something with promoted Kinds (using an example with
>> Kind-
>> promoted Nats).
>>
>> This is in GHC 7.4.1. (Apologies if this is a known bug/limitation/already
>> explained somewhere....
>>
>
> Is there a way of seeing kinds in ghci?
> [In gofer I could do :s +k -- yeah this was 20 years ago :-) ]
>
>
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20120609/88a7ed01/attachment.htm>