A simple Idris binding to the Curses library