diff --git a/kore/app/exec/Main.hs b/kore/app/exec/Main.hs
index be788d9fbc..9ef4ac3ee3 100644
--- a/kore/app/exec/Main.hs
+++ b/kore/app/exec/Main.hs
@@ -12,9 +12,6 @@ import Control.Monad.Extra as Monad
 import Data.Default (
     def,
  )
-import Data.Functor (
-    (<&>),
- )
 import Data.Generics.Product (
     field,
  )
diff --git a/kore/src/Kore/Log/KoreLogOptions.hs b/kore/src/Kore/Log/KoreLogOptions.hs
index edb5b8fd3e..d3630c1f9d 100644
--- a/kore/src/Kore/Log/KoreLogOptions.hs
+++ b/kore/src/Kore/Log/KoreLogOptions.hs
@@ -23,9 +23,6 @@ module Kore.Log.KoreLogOptions (
 
 import qualified Data.Char as Char
 import Data.Default
-import Data.Functor (
-    void,
- )
 import Data.HashSet (
     HashSet,
  )
diff --git a/kore/src/Kore/Repl.hs b/kore/src/Kore/Repl.hs
index ef7a9fe7af..abc1079493 100644
--- a/kore/src/Kore/Repl.hs
+++ b/kore/src/Kore/Repl.hs
@@ -13,7 +13,6 @@ import Control.Concurrent.MVar
 import qualified Control.Lens as Lens
 import Control.Monad (
     forever,
-    void,
  )
 import Control.Monad.Catch (
     MonadMask,
diff --git a/kore/src/Kore/Repl/Interpreter.hs b/kore/src/Kore/Repl/Interpreter.hs
index 0ad3fc4e12..bda006fe57 100644
--- a/kore/src/Kore/Repl/Interpreter.hs
+++ b/kore/src/Kore/Repl/Interpreter.hs
@@ -29,7 +29,6 @@ import Control.Lens (
  )
 import qualified Control.Lens as Lens
 import Control.Monad (
-    void,
     (<=<),
  )
 import Control.Monad.Extra (
diff --git a/kore/src/Kore/Repl/Parser.hs b/kore/src/Kore/Repl/Parser.hs
index 13a158196f..60994898bb 100644
--- a/kore/src/Kore/Repl/Parser.hs
+++ b/kore/src/Kore/Repl/Parser.hs
@@ -11,9 +11,6 @@ module Kore.Repl.Parser (
     ReplParseError (..),
 ) where
 
-import Data.Functor (
-    void,
- )
 import Data.GraphViz (
     GraphvizOutput,
  )
diff --git a/kore/src/Kore/Step/Step.hs b/kore/src/Kore/Step/Step.hs
index 1b3111c7c3..42300ee51b 100644
--- a/kore/src/Kore/Step/Step.hs
+++ b/kore/src/Kore/Step/Step.hs
@@ -29,9 +29,6 @@ module Kore.Step.Step (
     Step.results,
 ) where
 
-import Data.Functor (
-    (<&>),
- )
 import qualified Data.Map.Strict as Map
 import Data.Set (
     Set,
diff --git a/kore/src/Kore/Unification/SubstitutionNormalization.hs b/kore/src/Kore/Unification/SubstitutionNormalization.hs
index 04cd52e70b..7e14db2ac1 100644
--- a/kore/src/Kore/Unification/SubstitutionNormalization.hs
+++ b/kore/src/Kore/Unification/SubstitutionNormalization.hs
@@ -15,9 +15,6 @@ module Kore.Unification.SubstitutionNormalization (
 
 import qualified Control.Comonad.Trans.Cofree as Cofree
 import qualified Control.Monad.State.Strict as State
-import Data.Functor (
-    (<&>),
- )
 import Data.Functor.Const
 import Data.Functor.Foldable (
     Base,
diff --git a/kore/src/Prelude/Kore.hs b/kore/src/Prelude/Kore.hs
index ff8f40ab7a..8951055591 100644
--- a/kore/src/Prelude/Kore.hs
+++ b/kore/src/Prelude/Kore.hs
@@ -13,6 +13,7 @@ module Prelude.Kore (
     -- * Functions
     (&),
     on,
+    (<&>),
 
     -- * Maybe
     isJust,
@@ -62,6 +63,7 @@ module Prelude.Kore (
     MonadPlus (..),
     MonadIO (..),
     MonadTrans (..),
+    void,
     unless,
     when,
 
@@ -143,6 +145,10 @@ import Data.Function (
     on,
     (&),
  )
+import Data.Functor (
+    void,
+    (<&>),
+ )
 import Data.Hashable (
     Hashable (..),
  )
diff --git a/kore/test/Test/Kore.hs b/kore/test/Test/Kore.hs
index aa29f03c6d..4e451d5bd1 100644
--- a/kore/test/Test/Kore.hs
+++ b/kore/test/Test/Kore.hs
@@ -44,9 +44,6 @@ import Control.Monad.Reader (
     ReaderT,
  )
 import qualified Control.Monad.Reader as Reader
-import Data.Functor (
-    (<&>),
- )
 import Data.Functor.Const
 import Data.Text (
     Text,
diff --git a/kore/test/Test/Kore/Builtin/Map.hs b/kore/test/Test/Kore/Builtin/Map.hs
index 6dea687d08..d30b797a50 100644
--- a/kore/test/Test/Kore/Builtin/Map.hs
+++ b/kore/test/Test/Kore/Builtin/Map.hs
@@ -54,9 +54,6 @@ import Control.Monad (
  )
 import qualified Data.Bifunctor as Bifunctor
 import qualified Data.Default as Default
-import Data.Functor (
-    (<&>),
- )
 import Data.HashMap.Strict (
     HashMap,
  )
diff --git a/kore/test/Test/Kore/Builtin/Set.hs b/kore/test/Test/Kore/Builtin/Set.hs
index a068dc84fc..bed3f46d7a 100644
--- a/kore/test/Test/Kore/Builtin/Set.hs
+++ b/kore/test/Test/Kore/Builtin/Set.hs
@@ -64,9 +64,6 @@ import Control.Error (
     runMaybeT,
  )
 import qualified Data.Default as Default
-import Data.Functor (
-    (<&>),
- )
 import qualified Data.HashMap.Strict as HashMap
 import Data.HashSet (
     HashSet,