@@ -156,8 +156,10 @@ 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'.
159+-- Flatten Behavior-of-Behavior to Behavior. Behavior is an instance of Monad,
160+-- so the 'join' function from 'Control.Monad' suffices. The output of 'join' is
161+-- a Behavior whose value is equal to the current value of the current value of
162+-- the input.
161163[ ] join :: Behavior (Behavior a) -> Behavior a
162164
163165