yes = \ x -> (x && x)