diff --git a/collects/typed-racket/typecheck/tc-app-combined.rkt b/collects/typed-racket/typecheck/tc-app-combined.rkt
new file mode 100644
index 00000000..0446df45
--- /dev/null
+++ b/collects/typed-racket/typecheck/tc-app-combined.rkt
@@ -0,0 +1,27 @@
+#lang racket/base
+
+(require "../utils/utils.rkt"
+
+         "tc-app/tc-app-apply.rkt"
+         "tc-app/tc-app-eq.rkt"
+         "tc-app/tc-app-hetero.rkt"
+         "tc-app/tc-app-keywords.rkt"
+         "tc-app/tc-app-lambda.rkt"
+         "tc-app/tc-app-list.rkt"
+         "tc-app/tc-app-objects.rkt"
+         "tc-app/tc-app-special.rkt"
+         "tc-app/tc-app-values.rkt"
+         "tc-app/tc-app-main.rkt"
+         "tc-app/signatures.rkt"
+         "signatures.rkt")
+
+(require racket/unit)
+(provide tc-app-combined@)
+
+(define-compound-unit/infer tc-app-combined@
+  (import tc-expr^ tc-lambda^ tc-let^ tc-apply^)
+  (export tc-app^)
+
+  (link tc-app-main@
+        tc-app-hetero@ tc-app-list@ tc-app-apply@ tc-app-values@ tc-app-keywords@
+        tc-app-objects@ tc-app-eq@ tc-app-lambda@ tc-app-special@))
diff --git a/collects/typed-racket/typecheck/tc-app.rkt b/collects/typed-racket/typecheck/tc-app/tc-app-main.rkt
similarity index 97%
rename from collects/typed-racket/typecheck/tc-app.rkt
rename to collects/typed-racket/typecheck/tc-app/tc-app-main.rkt
index 080182b8..6db849a7 100644
--- a/collects/typed-racket/typecheck/tc-app.rkt
+++ b/collects/typed-racket/typecheck/tc-app/tc-app-main.rkt
@@ -1,8 +1,8 @@
 #lang racket/unit
 
-(require "../utils/utils.rkt"
-         "tc-app/signatures.rkt"
-         "tc-app/utils.rkt"
+(require "../../utils/utils.rkt"
+         "signatures.rkt"
+         "utils.rkt"
          syntax/parse racket/match 
          syntax/parse/experimental/reflect
          (typecheck signatures check-below tc-funapp)
diff --git a/collects/typed-racket/typecheck/tc-app/utils.rkt b/collects/typed-racket/typecheck/tc-app/utils.rkt
index bd61f37c..262ab8d7 100644
--- a/collects/typed-racket/typecheck/tc-app/utils.rkt
+++ b/collects/typed-racket/typecheck/tc-app/utils.rkt
@@ -21,3 +21,4 @@
         #:attributes (check) parse-option ...
         (pattern syntax-pattern pattern-directive ...
                  #:attr check (lambda () body)) ...))))
+
diff --git a/collects/typed-racket/typecheck/typechecker.rkt b/collects/typed-racket/typecheck/typechecker.rkt
index 4843511e..35be0b78 100644
--- a/collects/typed-racket/typecheck/typechecker.rkt
+++ b/collects/typed-racket/typecheck/typechecker.rkt
@@ -6,7 +6,7 @@
                   provide-signature-elements
                   define-values/invoke-unit/infer link)
          "signatures.rkt"
-         "tc-app/tc-app-combined.rkt"
+         "tc-app-combined.rkt"
          "tc-if.rkt" "tc-lambda-unit.rkt"
          "tc-let-unit.rkt" "tc-apply.rkt"
          "tc-expr-unit.rkt" "check-subforms-unit.rkt")