foldl0/2
foldr0/2
max/1
min/1