unary_-
doubleFold
fractionalFold
numericFold
unitMonoid
FoldImplicits