Yes, it expands type synonyms too

S

From: sean.leather@gmail.com [mailto:sean.leather@gmail.com] On Behalf Of Sean Leather
Sent: 23 September 2011 13:43
To: Simon Peyton-Jones
Cc: GHC Users List
Subject: Re: Evaluating type expressions in GHCi

Hi Simon,

*TF> :kind F Int

F Int :: *

*TF> :kind! F Int

F Int :: *

          = Bool

Does this also work with plain ol' type synonyms? I just noticed that the ":t undefined :: T" trick doesn't seem to work with type synonyms.

Thanks,

Sean