Map each term to type B and sum them using B's Monoid.
Map each term to type B and sum them using B's Semigroup,
as long as there is at least 1 term.
Map each term to type B and sum them using B's Semigroup,
as long as there is at least 1 term. Otherwise, return None.