foldr1 package:relude

Combines the elements of a non-empty structure using a binary function f.
>>> foldr1 (+) 0 (1 :| [2, 3])
6

>>> foldr1 (+) 1 $ Identity 3
4