autoPromote logic for mDo stubs; adjust parameters of monad util stubs