yes x = case x of {False -> a ; _ -> b}