Literature. Functional Reactive Animation (Eliott, Hudak, 1997) Arrows, Robots, and Functional Reactive Programming (Hudak, Courtney, Nilsson, Peterson, 2003) Effectful Mealy Machines, Bisimulation and Trace (Bonchi, Di Lavore, Román, 2025)