How to rewrite ado notation as general Applicative lifting, respecting evaluation order?

Question

There seems to be a difference in the evaluation order of applicative do notation vs. applicative lifting via <$>/map on the first argument,