Kindness of strangers (or strangeness of Kinds)

Rustom Mody rustompmody at gmail.com
Sat Jun 9 07:34:46 CEST 2012


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 :-) ]
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20120609/4ffbd005/attachment.htm>


More information about the Glasgow-haskell-users mailing list