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
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.
participants (2)
-
Li-yao Xia -
Ruben Astudillo