idris-0.9.10: test/test011/expected

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