Language.PureScript.TypeChecker
typeCheckModule
checkNewtype