The intuition is close but it's not quite the same duality as between data and codata. It's probably true that Behavior and Event are dual but they should be vi

The intuition is close but it's not quite the same duality as between data and codata. It's probably true that Behavior and Event are dual but they should be viewed more like modalities than as data structures. In fact, a first cut at semantics for FRP is temporal logic which has modalities like "sometimes" and "always".