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