[reactive] Representation Details of Events

[David Sankel]

Consider these two events:

a = []
b = [(+infty, _|_)]

Semantically, a and b are different values. Consider their
representations in reactive:

a = Event (Future ((Max MaxBound), (_|_)))
b = Event (Future ((Max MaxBound), (_|_ `Stepper` a))))

At the end of an event, the second element of the future tuple is
bottom. Conversely, the second element of the future tuple is never
bottom when not at the end of an event.

There's no particular point to this post, just musing on my discovery
of the above facts.

-- 
David Sankel
Sankel Software