[Haskell-cafe] <**> for nested applicative functors?
a.biurvOir4 at asuhan.com
Mon Oct 12 12:22:53 EDT 2009
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.
More information about the Haskell-Cafe