Indeed, I can testify that `?` was very much designed with the do-notation in mind.