Displaying similar documents to “Monads of effective descent type and comonadicity.”