Fix too-new import

fixes https://github.com/idris-lang/Idris-dev/issues/724