idris-1.3.0: test/effects003/input

a
e
i
o
j
v