Switch to using idris-generic submodule