Most of Language.PureScript.TypeChecker.Monad