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

Li-yao Xia lysxia at gmail.com
Mon Oct 14 23:57:05 UTC 2019

The following blog post may be of help:


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.

More information about the Haskell-Cafe mailing list