idris-0.9.9: test/test005/expected

8
1
(abc, 123)
(abc, 123)
([1, 2], [3, 4, 5])
([1, 2], [3, 4, 5])