Idk about an existing type class but if it satisfies certain laws it may be a monad action.
If f is a functor and m is a monad, a right m-action on f is a function h of type f . m ~> f (that is forall a. f (m a) -> f a) such that h . fmap return = id and h . fmap join = h . h.