X11 bindings for Idris