Integrate in the proper monad