Switch to idris-generic submodule