diff --git a/src/Juvix/Prelude.hs b/src/Juvix/Prelude.hs
index 0f74160bcc..340e2a6e7d 100644
--- a/src/Juvix/Prelude.hs
+++ b/src/Juvix/Prelude.hs
@@ -1,6 +1,6 @@
 module Juvix.Prelude
   ( module Juvix.Prelude.Base,
-    module Juvix.Prelude.Debug,
+    module Juvix.Prelude.Trace,
     module Juvix.Prelude.Error,
     module Juvix.Prelude.Files,
     module Juvix.Prelude.Lens,
@@ -9,8 +9,8 @@ module Juvix.Prelude
 where
 
 import Juvix.Prelude.Base
-import Juvix.Prelude.Debug
 import Juvix.Prelude.Error
 import Juvix.Prelude.Files
 import Juvix.Prelude.Lens
 import Juvix.Prelude.Loc
+import Juvix.Prelude.Trace
diff --git a/src/Juvix/Prelude/Debug.hs b/src/Juvix/Prelude/Trace.hs
similarity index 97%
rename from src/Juvix/Prelude/Debug.hs
rename to src/Juvix/Prelude/Trace.hs
index e01ce9c076..84ecf0d669 100644
--- a/src/Juvix/Prelude/Debug.hs
+++ b/src/Juvix/Prelude/Trace.hs
@@ -1,9 +1,9 @@
-module Juvix.Prelude.Debug where
+module Juvix.Prelude.Trace where
 
+import Data.Text qualified as Text
 import Debug.Trace qualified as T
 import GHC.IO (unsafePerformIO)
 import Juvix.Prelude.Base
-import Data.Text qualified as Text
 
 setDebugMsg :: Text -> Text
 setDebugMsg msg = "[debug] " <> fmsg
diff --git a/src/Juvix/Syntax/MicroJuvix/TypeChecker.hs b/src/Juvix/Syntax/MicroJuvix/TypeChecker.hs
index f1193df7ab..de3edadf21 100644
--- a/src/Juvix/Syntax/MicroJuvix/TypeChecker.hs
+++ b/src/Juvix/Syntax/MicroJuvix/TypeChecker.hs
@@ -14,8 +14,8 @@ import Juvix.Syntax.MicroJuvix.Language.Extra
 import Juvix.Syntax.MicroJuvix.LocalVars
 import Juvix.Syntax.MicroJuvix.MicroJuvixArityResult
 import Juvix.Syntax.MicroJuvix.MicroJuvixTypedResult
-import Juvix.Syntax.MicroJuvix.TypeChecker.Inference
 import Juvix.Syntax.MicroJuvix.Pretty
+import Juvix.Syntax.MicroJuvix.TypeChecker.Inference
 
 addIdens :: Member (State TypesTable) r => TypesTable -> Sem r ()
 addIdens idens = modify (HashMap.union idens)