idris-1.3.3: test/reg005/expected.out

hey
you
[(), ()]