axioms-strong-monad