Basic bindings of ncurses for Idris