Map each term to type B and sum them using B's Monoid.
B
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.
None