When does a monad compose with a co-monad?

Question

We know that two monads compose if there is a distributive law. What is the law that is necessary to compose a monad and a co-monad? When you combine a monad and co-monad, you get a (co)monad that has both monad and co-monad natural transformations.