It seems to me that while join is more of a value transformer as apposed to a
flow combining operator, which makes it fit in better with the rest applicative.

Join can't be defined in terms of Applicative combinators alone. Being an Applicative with join is enough to be a Monad.