Combine id-monad into eval-pure.