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
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to