diff --git a/racket/typed/core-expressions.rkt b/racket/typed/core-expressions.rkt
index 9361a2d..4f9095e 100644
--- a/racket/typed/core-expressions.rkt
+++ b/racket/typed/core-expressions.rkt
@@ -158,6 +158,7 @@
   [⊢ (match- e- [p- s-] ...
                 [_ (#%app- error- "incomplete pattern match")])
      (⇒ : (U τ-s ...))
+     ;; TODO losing branching information here
      (⇒ ν-ep (eps ... ...))
      (⇒ ν-f #,(make-Branch #'((fs ...) ...)))
      (⇒ ν-s (ss ... ...))])