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
_______________________________________________ Glasgow-haskell-users mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
