<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Sat, Oct 24, 2015 at 5:25 AM, Dimitri DeFigueiredo <span dir="ltr"><<a href="mailto:defigueiredo@ucdavis.edu" target="_blank">defigueiredo@ucdavis.edu</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class=""></span>
Unfortunately, I am using the pipes library, so I cannot avoid using a monad transformer. Because of the functionality pipes provides, it does make sense for it to be a monad transformer.</blockquote></div><br></div><div class="gmail_extra">Hi Dimitri,<br><br></div><div class="gmail_extra">This is a very interesting topic, thank you for bringing it up.<br><br></div><div class="gmail_extra">Unfortunately because of the very generalized way it's presented, it's very hard for anyone else aside from Yuras to give it the attention it deserves.<br></div><div class="gmail_extra"><br></div><div class="gmail_extra">Do you have a concrete example with sample code that you could simplify and present instead?<br><br>E.g. instead of the multiply-stacked monad transformer embedded in 200 lines that you're facing, can you present an example with 2 monadic layers (the base being IO) in say, 20 lines?<br></div><div class="gmail_extra"><br clear="all"><div><div class="gmail_signature">-- Kim-Ee</div></div>
</div></div>