map package:adjunctions

Map both the return value and final state of a computation using the given function.