diff --git a/template-coq/theories/MonadAst.v b/template-coq/theories/MonadAst.v
index 8f7a2a8bb..4500bfdca 100644
--- a/template-coq/theories/MonadAst.v
+++ b/template-coq/theories/MonadAst.v
@@ -3,6 +3,8 @@ From MetaCoq.Utils Require Import utils monad_utils.
 From MetaCoq.Template Require Import Ast.
 
 Import MCMonadNotation.
+Local Set Universe Polymorphism.
+Local Unset Universe Minimization ToSet.
 
 Section with_monad.
   Context {T} {M : Monad T}.