idris-0.9.16: test/sugar005/expected

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