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

[Li-yao Xia]

The following blog post may be of help:

https://ryanglscott.github.io/2018/03/04/how-quantifiedconstraints-can-let-us-put-join-back-in-monad/

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.
>