Data.Paired.Foldable