idris-0.9.9: test/test011/expected

foo
Fred
[1, 2, 3]
[b, a]
25