Language.PureScript.TypeChecker.Kinds