@@ -211,10 +211,8 @@ class ( MonadHold t (PushM t)
211211 -- occurring or not occurring; if it is occurring, it will contain a value of
212212 -- the given type (its "occurrence type")
213213 data Event t :: * -> *
214− -- | A container for a value that can change over time and allows
215− -- notifications on changes. Basically a combination of a 'Behavior' and an
216− -- 'Event', with a rule that the 'Behavior' will change if and only if the
217− -- 'Event' fires.
214+ -- | A 'Dynamic' is just an 'Incremental' whose patch type always completely
215+ -- replaces the value (rather than doing some potentially-smaller change).
218216 data Dynamic t :: * -> *
219217 -- | A container for a value that can change over time and allows
220218 -- notifications on changes. Basically a combination of a 'Behavior' and an