diff --git a/Aesop/Stats/Basic.lean b/Aesop/Stats/Basic.lean
index 7800aedf..ce474b99 100644
--- a/Aesop/Stats/Basic.lean
+++ b/Aesop/Stats/Basic.lean
@@ -175,12 +175,12 @@ end Stats
 
 abbrev StatsRef := IO.Ref Stats
 
-class MonadStats (m) extends
-    MonadLiftT (ST IO.RealWorld) m,
-    MonadLiftT BaseIO m,
-    MonadOptions m where
+class MonadStats (m) extends MonadOptions m where
+  [instLift : MonadLiftT BaseIO m]
   readStatsRef : m StatsRef
 
+instance [MonadStats m] : MonadLift BaseIO m := ⟨MonadStats.instLift.monadLift⟩
+
 export MonadStats (readStatsRef)
 
 variable [Monad m]