Idris javascript binding to the canvas