<div dir="auto">If something like MMonad gets added to transformers, then its MFunctor version should really be double-ended to work with things like the final version of FreeT.</div><br><div class="gmail_quote"><div dir="ltr">On Mon, Apr 9, 2018, 9:41 AM Daniel Díaz Casanueva <<a href="mailto:dhelta.diaz@gmail.com">dhelta.diaz@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">+1 on adding this to transformers.<div class="gmail_extra"><br><div class="gmail_quote">2018-04-09 14:45 GMT+02:00 Ross Paterson <span dir="ltr"><<a href="mailto:R.Paterson@city.ac.uk" target="_blank" rel="noreferrer">R.Paterson@city.ac.uk</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span>On Thu, Mar 14, 2013 at 05:24:23AM +0200, Michael Snoyman wrote:<br>
>    I'm wondering if this pattern exists and has a name. We have the<br>
>    concept of joining a Monad:<br>
>    join :: Monad m => m (m a) -> ma<br>
>    How about joining a monad transformer?<br>
>    joinT :: (Monad m, MonadTrans t) => t (t m) a -> t m a<br>
<br>
</span>This is a monad in the category of monads.  Moggi discusses them in<br>
"An Abstract View of Programming Languages", including which transformers<br>
have joinT.  I was thinking of adding the class to the transformers package.<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div><br></div></div>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div>