idris-1.3.3: test/interactive016/expected.out

test : Maybe a -> Bool
test Nothing = False
test (Just x)  = True

other : Int
other = 3