idris-1.1.0: test/interactive016/src/interactive016.idr

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

other : Int
other = 3