Control.Functor.Indexed
class IxFunctor f
class IxCopointed w
class IxPointed m
class IxApplicative m