idris-0.9.11: test/effects001/testFile

HELLO!!!
WORLD!!!