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
.