Re: [Haskell-cafe] Is join useful for every monad?

On 14-10-19 16:45, Carter Schonwald wrote:

And while join is not at the moment in the Monad typeclass because of newtype stuff

Could you expand a bit on this? I remember this being on a Applicative-Monad proposal but I couldn't understand why it wasn't technically possible. -- -- Ruben -- PGP: 4EE9 28F7 932E F4AD