idris-1.3.3: test/effects002/expected.out

[1, 2, 3, 4]