Language.PureScript.TypeChecker.Kinds
kindOf
kindOfWithScopedVars
kindsOf
kindsOfAll