idris-1.3.3: test/sugar001/expected.out

Just 8
Just 9
Just 42
Nothing