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

test : Maybe a -> Bool
test Nothing = False