Data.Functor.Indexed
class IxFunctor f
class IxCopointed w
class IxPointed m
class IxApplicative m
(<<$>>)
(<<*>>)
(<<*)
(*>>)