a = Just True main = match a with Nothing -> False Just x -> x -- true