diff --git a/language.cabal b/language.cabal
index 348d0c5..255f75c 100644
--- a/language.cabal
+++ b/language.cabal
@@ -32,6 +32,7 @@ executable language
       Grammar.ErrM
       Auxiliary
       Renamer.Renamer
+      TypeChecker.TypeChecker
       TypeChecker.TypeCheckerHm
       TypeChecker.TypeCheckerBidir
       TypeChecker.TypeCheckerIr
@@ -75,6 +76,7 @@ Test-suite language-testsuite
       Grammar.ErrM
       Auxiliary
       Renamer.Renamer
+      TypeChecker.TypeChecker
       TypeChecker.TypeCheckerHm
       TypeChecker.TypeCheckerBidir
       TypeChecker.RemoveTEVar