idris-1.3.3: test/interactive007/expected.out

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