yes = case x z of Nothing -> y z; Just pat -> pat