idris-1.3.3: test/sugar005/expected.out

Nothing
Just 1
Nothing
Just 1
Just (5, 4)
Nothing
Just 2
Just 42
Nothing