Idris Lib to interact with the DOM and Browser API for the JavaScript backend