idris-0.9.9: test/test006/expected

[False, True, False, True, False, True]