Since the RX extension mix event and state together other than treat them differently like Sodium does. And there are certain relationship between events and states. Is my thought that RX extension is the coproduct of FRP valid?
Applicative Functor still achievable under a certain interpretation. Like composing by last seen values. Personally not a fan of that interpretation.