Implication Details

Assumptions: equivalence

Conclusions: continuous, monadic, right adjoint

Reason: This is easy.