I have a question: are there interesting things I can learn about (co)monads by studying adjoint monotone functions composed this way or that way?