solving mapping monads