Creates a new computation with new a and monoid W.
a
W
The instance of Monoid for W.
Monoid
The new computation with the result from a and output from monoid.identity.
monoid.identity
Generated using TypeDoc
Creates a new computation with new
a
and monoidW
.