diff --git a/racket/typed/roles.rkt b/racket/typed/roles.rkt
index 3860ede..6ca1665 100644
--- a/racket/typed/roles.rkt
+++ b/racket/typed/roles.rkt
@@ -10,6 +10,7 @@
          ;; Types
          Tuple Bind Discard → ∀
          Role Reacts Shares Know ¬Know Message OnDataflow Stop OnStart OnStop
+         Branch Effs
          FacetName Field ★/t
          Observe Inbound Outbound Actor U ⊥
          Computation Value Endpoints Roles Spawns