PureScript.TypeChecker.Types

data TypeConstraint

data TypeSolution

typeOf