yes = foo $ Data.Bifunctor.second ((+) y)