yes = \x -> a x where