Maps and flattens the result of computation with f.
f
The instance of SemiGroup for W.
SemiGroup
W
The mapped and flattened computation.
Maps and flattens the result of computation with
f.