Control.Applicative.Indexed
class IndexedFunctor f
class IndexedApplicative f
(<<$>>)
(<<**>>)
liftIA
liftIA2
liftIA3
data WrappedApplicative f index a