idris-0.9.9: test/test008/expected

First and second? 2
1
2