Maps both the return value and final state of the computation by fn.
fn
The mapper between the result of computation.
The mapped computation.
Maps both the return value and final state of the computation by
fn.