Control.Applicative.Indexed

type-indexed / parameterized classes

class IndexedFunctor f

class IndexedApplicative f

(<<$>>)

(<<**>>)

liftIA

liftIA2

liftIA3

WrappedApplicative

data WrappedApplicative f index a