Asynchronous Functional Reactive Programming for GUIs Push-Pull Functional Reactive Programming Wormholes: Introducing Effects to FRP