Control.Comonad.Indexed
class IxFunctor f
class IxCopointed w
class IxComonad w