∀ (monadInstanceCache : Lean.Elab.Do.MonadInstanceCache)
  (contVars : Std.HashMap Lean.Elab.Do.ContVarId Lean.Elab.Do.ContVarInfo)
  (monadInstanceCache_1 : Lean.Elab.Do.MonadInstanceCache)
  (contVars_1 : Std.HashMap Lean.Elab.Do.ContVarId Lean.Elab.Do.ContVarInfo),
  ({ monadInstanceCache := monadInstanceCache, contVars := contVars } =
      { monadInstanceCache := monadInstanceCache_1, contVars := contVars_1 }) =
    (monadInstanceCache = monadInstanceCache_1 ∧ contVars = contVars_1)