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