yes = (f x) ||| y