idris-0.9.11: test/effects001/expected

["HELLO!!!\n", "WORLD!!!\n", ""]
3
15
Answer: 99