Raw Idris bindings to the DOM