Some of Language.PureScript.TypeChecker.Types