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

Ruben Astudillo ruben.astud at gmail.com
Mon Oct 14 23:36:27 UTC 2019


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


More information about the Haskell-Cafe mailing list