join is a convenience function that flattens a monad, analogously to Haskell's Control.Monad.join.
join
Control.Monad.join