foldr2 :: (a -> b -> b) -> b -> [a] -> b
foldr2 = _