Fix too-new import

fixes https://github.com/idris-lang/Idris-dev/issues/724
Merge pull request #726 from Melvar/collections-fix

Fix too-new import