Samuel wrote:

...

But wait! There is also a join in Control.Monad!

Josef replied:

Good point. But I don't really see that as a problem. Don't you think the two 'join's can co-exist?

I do think it's a problem, for list are also monads. Instantiating the monadic join with [] we'd wind up with both join :: [[a]] -> [a] and join :: [a] -> [[a]] -> [a] which to me seems just a little too confusing. Cheers, Stefan