A deep embedding of Functional Reactive Programming.