diff --git a/src/TypeChecker/TypeCheckerHm.hs b/src/TypeChecker/TypeCheckerHm.hs
index 24a8272..f4ec70a 100644
--- a/src/TypeChecker/TypeCheckerHm.hs
+++ b/src/TypeChecker/TypeCheckerHm.hs
@@ -335,7 +335,7 @@ algoW = \case
         case M.lookup (coerce i) constr of
             Just t -> do
                 t <- freshen t
-                return (nullSubst, (T.EVar $ coerce i, t))
+                return (nullSubst, (T.EInj $ coerce i, t))
             Nothing ->
                 uncatchableErr $ Aux.do
                     "Constructor:"