diff --git a/src/Juvix/Compiler/Concrete/Language.hs b/src/Juvix/Compiler/Concrete/Language.hs
index e93807aff..d9f558ea1 100644
--- a/src/Juvix/Compiler/Concrete/Language.hs
+++ b/src/Juvix/Compiler/Concrete/Language.hs
@@ -1008,34 +1008,6 @@ deriving stock instance
   ) =>
   Ord (Iterator s)
 
---------------------------------------------------------------------------------
--- Debugging statements
---------------------------------------------------------------------------------
-
-newtype Eval (s :: Stage) = Eval {evalExpression :: ExpressionType s}
-
-deriving stock instance
-  (Show (ExpressionType s)) => Show (Eval s)
-
-deriving stock instance
-  (Eq (ExpressionType s)) => Eq (Eval s)
-
-deriving stock instance
-  (Ord (ExpressionType s)) => Ord (Eval s)
-
---------------------------------------------------------------------------------
-
-newtype Print (s :: Stage) = Print {printExpression :: ExpressionType s}
-
-deriving stock instance
-  (Show (ExpressionType s)) => Show (Print s)
-
-deriving stock instance
-  (Eq (ExpressionType s)) => Eq (Print s)
-
-deriving stock instance
-  (Ord (ExpressionType s)) => Ord (Print s)
-
 --------------------------------------------------------------------------------
 -- Expression atom
 --------------------------------------------------------------------------------
diff --git a/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs b/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs
index 7543de40a..e5ffffc92 100644
--- a/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs
+++ b/src/Juvix/Compiler/Concrete/Translation/FromParsed/Analysis/Scoping.hs
@@ -1014,18 +1014,6 @@ checkAxiomDef AxiomDef {..} = do
 entryToSymbol :: SymbolEntry -> Symbol -> S.Symbol
 entryToSymbol sentry csym = set S.nameConcrete csym (symbolEntryToSName sentry)
 
-checkEval ::
-  (Members '[Error ScoperError, State Scope, State ScoperState, InfoTableBuilder, NameIdGen, Reader BindingStrategy] r) =>
-  Eval 'Parsed ->
-  Sem r (Eval 'Scoped)
-checkEval (Eval s) = Eval <$> withLocalScope (checkParseExpressionAtoms s)
-
-checkPrint ::
-  (Members '[Error ScoperError, State Scope, State ScoperState, InfoTableBuilder, NameIdGen, Reader BindingStrategy] r) =>
-  Print 'Parsed ->
-  Sem r (Print 'Scoped)
-checkPrint (Print s) = Print <$> withLocalScope (checkParseExpressionAtoms s)
-
 checkFunction ::
   forall r.
   (Members '[Error ScoperError, State Scope, State ScoperState, InfoTableBuilder, NameIdGen] r) =>