idris-0.9.11: test/records001/expected

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