Factor out fold_exprs, {seq,binop}_reduce.
Show: polymorphize generated signatures.
Eq: finish.