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