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

The following blog post may be of help: https://ryanglscott.github.io/2018/03/04/how-quantifiedconstraints-can-let-u... On 10/14/19 7:36 PM, Ruben Astudillo wrote:

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.