Control.Monad.Indexed
class IxFunctor f
class IxPointed m
class IxApplicative m
class IxMonad m
class IxMonadZero m
class IxMonadPlus m