Control.Monad.Indexed

class IxFunctor f

class IxPointed m

class IxApplicative m

class IxMonad m

class IxMonadZero m

class IxMonadPlus m

ijoin

(>>>=)

(=<<<)

iapIxMonad