Divergences on Monads for Relational Program Logics