[reactive] Representation Details of Events

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