[Haskell-cafe] Applicative functors with branch/choice ?

[Strake]

On 25/07/2012, Евгений Пермяков <permeakra at gmail.com> wrote:
> Let assume, that some computation takes argument and produces value
> Either a b. This computation may be represented in for different forms
>
> ====
> ...
> computeApplicative :: app a -> app (Either b c)
> ...
> =====

This seems rather more appropriate for Applicative:

computeApplicative :: app (a -> Either b c)