Don't import the strict ST module (though it doesn't help)

src/Kanren/Core.hs

@@ -55,7 +55,7 @@ import Data.Bifunctor (first)
 import Data.IntMap.Strict (IntMap)
 import qualified Data.IntMap.Strict as IntMap
 import Data.Maybe (fromMaybe)
-import Data.STRef.Strict (STRef, modifySTRef', newSTRef, readSTRef, writeSTRef)
+import Data.STRef (STRef, modifySTRef', newSTRef, readSTRef, writeSTRef)
 import Data.Tagged (Tagged (Tagged, unTagged))
 import GHC.Exts (IsList (..))
 import GHC.Generics (Generic)

src/Kanren/Example/List.hs

@@ -6,7 +6,7 @@ module Kanren.Example.List (example) where
 import Data.Function ((&))
 import Data.Maybe (fromJust)
 
-import Control.Monad.ST.Strict (runST)
+import Control.Monad.ST (runST)
 import Kanren.Core
 import Kanren.Goal
 import Kanren.LogicalBase

src/Kanren/GenericLogical.hs

@@ -49,7 +49,7 @@ module Kanren.GenericLogical (
   GLogical,
 ) where
 
-import Control.Monad.ST.Strict (ST)
+import Control.Monad.ST (ST)
 import Data.Proxy (Proxy (..))
 import GHC.Generics
 

src/Kanren/Goal.hs

@@ -31,7 +31,7 @@ module Kanren.Goal (
 
 import Control.Applicative (Alternative (..))
 import Control.Monad (ap)
-import Control.Monad.ST.Strict (ST)
+import Control.Monad.ST (ST)
 import qualified Data.Foldable as Foldable
 
 import Kanren.Core

src/Kanren/Stream.hs

@@ -8,7 +8,7 @@ module Kanren.Stream (
   interleaveSTStream,
 ) where
 
-import Control.Monad.ST.Strict (ST)
+import Control.Monad.ST (ST)
 import Prelude hiding (take)
 
 data Stream a