9 Jun
2012
9 Jun
'12
1:34 a.m.
On Thu, Jun 7, 2012 at 7:16 AM, AntC
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 :-) ]