SDL2 bindings for Idris