{m : Type → Type} →
  m Lean.Meta.Grind.Arith.CommRing.Ring →
    ((Lean.Meta.Grind.Arith.CommRing.Ring → Lean.Meta.Grind.Arith.CommRing.Ring) → m Unit) →
      Lean.Meta.Grind.Arith.CommRing.MonadRing m