idris-0.9.10: test/test005/expected

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