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

other : Int
other = 3