Language.PureScript.TypeChecker.Kinds

data KindConstraint

data KindSolution

kindsOf

kindOf