Applicative f => Arrow (Static f) #  

Alternative f => ArrowZero (Static f) #  

Alternative f => ArrowPlus (Static f) #  

Applicative f => ArrowChoice (Static f) #  

Applicative f => Category * (Static f) #  
Methods id :: cat a a # (.) :: cat b c > cat a b > cat a c # 
Apply f => Semigroupoid * (Static f) #  
Methods o :: c j k > c i j > c i k # 
Functor f => Functor (Static f a) #  

Applicative f => Applicative (Static f a) #  

(Comonad f, Monoid a) => Comonad (Static f a) #  

(Extend f, Semigroup a) => Extend (Static f a) #  

Apply f => Apply (Static f a) #  

Alt f => Alt (Static f a) #  

Plus f => Plus (Static f a) #  
