mapStateT

Map both the return value and final state of a computation using the given function.
mapStateT with MergingStrategy knowledge propagation.