25 Jul
                
                    2012
                
            
            
                25 Jul
                
                '12
                
            
            
            
        
    
                6:14 p.m.
            
        On 25/07/2012, Евгений Пермяков 
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)