idris-0.9.11: test/effects002/expected

[1, 2, 3, 4]