idris-0.9.11: test/basic008/expected

Just 2