 Crude monadicity theorem

A useful form of the crude monadicity theorem says that a right adjoint is monadic if it reflects isomorphisms and its source has and the functor preserves coequalizers of reflexive pairs.