From 9ac12945862fa39eab7795c2f79bb9aa0c8e332c Mon Sep 17 00:00:00 2001
From: Kyle Miller <kmill31415@gmail.com>
Date: Tue, 22 Oct 2024 15:51:54 -0700
Subject: [PATCH] chore: modify `MonadStats` to not extend parents multiple
 times (#169)

---
 Aesop/Stats/Basic.lean | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/Aesop/Stats/Basic.lean b/Aesop/Stats/Basic.lean
index 7800aed..ce474b9 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]