fmap (<*>) :: m (n (a -> b)) -> m (n a -> n b)<br><br>so<br><br>f <**> x = (fmap (<*>) f) <*> x<br><br><br><div class="gmail_quote">On Mon, Oct 12, 2009 at 9:22 AM, Kim-Ee Yeoh <span dir="ltr"><<a href="mailto:a.biurvOir4@asuhan.com">a.biurvOir4@asuhan.com</a>></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's possible to write the following:<br>
<br>
<**> :: (Applicative m, Applicative n) =><br>
m (n (a->b)) -> m (n a) -> m (n b)<br>
<br>
Clearly, if m and n were monads, it would be trivial.<br>
<br>
Rereading the original paper, I didn'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>