Idris master had {m} removed from mapVE

This is from a PR which I submitted but totally forgot that it was going
to break my code.