Left or right actions of a monad on a functor. See this blog post by Dan Marsden for more information.