<div dir="ltr">Well, I'm stupid, I only need to combine sequence with gmapQ and it works! Thanks Andres!<div><br></div><div>JP</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Nov 1, 2013 at 11:07 AM, JP Moresmau <span dir="ltr"><<a href="mailto:jpmoresmau@gmail.com" target="_blank">jpmoresmau@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">You're perfectly right Andres. ext1Q and extQ work well with monadic result type. I can't get gmapQ to work though, but I seem to in fact not need it, so I've removed its usage totally.<div>
<br></div>
<div>Thanks a million!</div><span class="HOEnZb"><font color="#888888"><div><br></div><div>JP</div></font></span></div><div class="gmail_extra"><div><div class="h5"><br><br><div class="gmail_quote">On Fri, Nov 1, 2013 at 10:00 AM, Andres Löh <span dir="ltr"><<a href="mailto:andres@well-typed.com" target="_blank">andres@well-typed.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi.<br>
<div><br>
> However, the ext1Q, extQ and gmapQ functions have no monadic equivalent.<br>
> There seems to be monadic transformation (from a to different a) but no<br>
> monadic queries (from a to b).<br>
> Do I have to rewrite these functions myself to work with monadic queries (it<br>
> at all possible) or is there a better way? I've seen some functions that<br>
> work with monads and MonadPlus, but I don't see anything that would work<br>
> with IO.<br>
<br>
</div>I think the idea is that the Q functions don't need a monadic<br>
counterpart because they can already be used at a monadic result type.<br>
<br>
Cheers,<br>
  Andres<br>
<span><font color="#888888"><br>
--<br>
Andres Löh, Haskell Consultant<br>
Well-Typed LLP, <a href="http://www.well-typed.com" target="_blank">http://www.well-typed.com</a><br>
</font></span></blockquote></div><br><br clear="all"><div><br></div></div></div><div class="im">-- <br>JP Moresmau<br><a href="http://jpmoresmau.blogspot.com/" target="_blank">http://jpmoresmau.blogspot.com/</a>
</div></div>
</blockquote></div><br><br clear="all"><div><br></div>-- <br>JP Moresmau<br><a href="http://jpmoresmau.blogspot.com/">http://jpmoresmau.blogspot.com/</a>
</div>