idris-0.9.11: test/sugar001/expected

Just 8
Just 9
Just 42
Nothing