Unset Universe Minimization ToSet in monad_utils

JasonGross · JasonGross · commit d0d517b37ba3 · 2023-04-24T12:56:21.000-07:00
diff --git a/utils/theories/monad_utils.v b/utils/theories/monad_utils.v
@@ -7,6 +7,7 @@ Import ListNotations.
 
 Set Universe Polymorphism.
 Set Polymorphic Inductive Cumulativity.
+Unset Universe Minimization ToSet.
 
 Class Monad@{d c} (m : Type@{d} -> Type@{c}) : Type :=
 { ret : forall {t : Type@{d}}, t -> m t
