idris-0.9.16: test/effects003/input

a
e
i
o
f
c
s
p
r
t