PureScript.TypeChecker
typeCheckAll