@@ -420,7 +420,10 @@ class MonadSample t m => MonadHold t m where
420420 -- | Create a new 'Event' that only occurs only once, on the first occurrence of
421421 -- the supplied 'Event'.
422422 headE :: Event t a -> m (Event t a)
423− -- | An event which occurs at the current moment.
423+ -- | An event which only occurs at the current moment in time, such that:
424+ --
425+ -- > coincidence (pushAlways (\a -> (a <$) <$> now) e) = e
426+ --
424427 now :: m (Event t ())
425428 default now :: (m ~ f m', MonadTrans f, MonadHold t m') => m (Event t ())
426429 now = lift now