fmap (<*>) :: m (n (a -> b)) -> m (n a -> n b)

so

f <**> x = (fmap (<*>) f) <*> x


On Mon, Oct 12, 2009 at 9:22 AM, Kim-Ee Yeoh <a.biurvOir4@asuhan.com> wrote:

Does anyone know if it's possible to write the following:

<**> :: (Applicative m, Applicative n) =>
m (n (a->b)) -> m (n a) -> m (n b)

Clearly, if m and n were monads, it would be trivial.

Rereading the original paper, I didn't see much discussion
about such nested app. functors.

Any help appreciated.

--
View this message in context: http://www.nabble.com/%3C**%3E-for-nested-applicative-functors--tp25858792p25858792.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe