Idris bindings to ncurses