idris-0.9.9: test/test007/expected

Just 8
Just 9
Just 42
Nothing