Yeah, in formal terminology that’s “join”. Join + return + monad laws is a perfectly reasonable definition of a monad.