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