idris-0.9.17: test/interactive007/expected

Idris> *Data/ZZ> *Data/ZZ> *Data/ZZ> *Data/ZZ> Bye bye