@@ -156,8 +156,13 @@ For Events, the returned Event fires whenever the latest Event supplied by the w
156156-- Flatten Event-of-Event to Event that fires when both wrapper AND new Event fire.
157157[ ] coincidence :: Event (Event a) -> Event a
158158
159+-- Flatten Behavior-of-Behavior to Behavior. Because Behavior is an instance of
160+-- Monad, we use the standard 'join' function from 'Control.Monad'.
161+[ ] join :: Behavior (Behavior a) -> Behavior a
162+
163+
159164-- Flatten Dynamic-of-Dynamic to Dynamic. New Dynamic is used immediately.
160−-- Output updated whenever inner OR outer Dynamic updates.
165+-- Output updated whenever inner OR outer Dynamic updates.
161166[ ] joinDyn :: Dynamic (Dynamic a) -> Dynamic a
162167[ ] joinDynThroughMap :: Ord k => Dynamic (Map k (Dynamic a)) -> Dynamic (Map k a)
163168