diff --git a/bench/Copar/Coalgebra/BenchParser.hs b/bench/Copar/Coalgebra/BenchParser.hs
index bbd605422dcd380901920a18b611aaba4bb4754e..457740ce32a52468805dca608ab0cee08e04e04b 100644
--- a/bench/Copar/Coalgebra/BenchParser.hs
+++ b/bench/Copar/Coalgebra/BenchParser.hs
@@ -13,7 +13,7 @@ import           Data.Text (Text)
 import           Control.DeepSeq
 
 import           Copar.Coalgebra.Parser
-import           Copar.Coalgebra.RefinementTypes
+import           Copar.RefinementInterface
 import           Copar.FunctorExpression.Sorts
 import           Copar.FunctorExpression.Type
 import           Copar.FunctorExpression.Parser
diff --git a/bench/Copar/Functors/BenchGroupValued.hs b/bench/Copar/Functors/BenchGroupValued.hs
index a34abbef9c3037c21fb5c0c0e7676287fabd6c43..355ec1b8afb3998440705ad5619103c41806257a 100644
--- a/bench/Copar/Functors/BenchGroupValued.hs
+++ b/bench/Copar/Functors/BenchGroupValued.hs
@@ -15,7 +15,7 @@ import           Control.Monad.State.Strict
 
 import           Copar.Coalgebra.Parser
 import           Copar.Coalgebra.Parser.Internal
-import           Copar.Coalgebra.RefinementTypes
+import           Copar.RefinementInterface
 import           Copar.Functors.GroupValued
 
 benchmarks :: Benchmark