idris-0.10.1: test/reg005/expected

hey
you
[(), ()]