Idris wrapper over some of the JavaScript DOM, with a FRP module included.