idris-1.3.0: test/effects001/expected

["HELLO!!!\n", "WORLD!!!\n", ""]
3
7
Answer: 91