ghci> :k Maybe Maybe :: * -> * On Sat, Jun 9, 2012 at 1:34 AM, Rustom Mody <rustompm...@gmail.com> wrote:
> On Thu, Jun 7, 2012 at 7:16 AM, AntC <anthony_clay...@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@haskell.org > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users > >
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users