fmap (&lt;*&gt;) :: m (n (a -&gt; b)) -&gt; m (n a -&gt; n b)<br><br>so<br><br>f &lt;**&gt; x = (fmap (&lt;*&gt;) f) &lt;*&gt; x<br><br><br><div class="gmail_quote">On Mon, Oct 12, 2009 at 9:22 AM, Kim-Ee Yeoh <span dir="ltr">&lt;<a href="mailto:a.biurvOir4@asuhan.com">a.biurvOir4@asuhan.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><br>
Does anyone know if it&#39;s possible to write the following:<br>
<br>
&lt;**&gt; :: (Applicative m, Applicative n) =&gt;<br>
m (n (a-&gt;b)) -&gt; m (n a) -&gt; m (n b)<br>
<br>
Clearly, if m and n were monads, it would be trivial.<br>
<br>
Rereading the original paper, I didn&#39;t see much discussion<br>
about such nested app. functors.<br>
<br>
Any help appreciated.<br>
<font color="#888888"><br>
--<br>
View this message in context: <a href="http://www.nabble.com/%3C**%3E-for-nested-applicative-functors--tp25858792p25858792.html" target="_blank">http://www.nabble.com/%3C**%3E-for-nested-applicative-functors--tp25858792p25858792.html</a><br>

Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.<br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</font></blockquote></div><br>