∀ {σ : Type} {m : Type → Type} [inst : Lean.MonadBacktrack σ m] {α : Type} (toMLList toMLList_1 : MLList m (α × σ)),
  ({ toMLList := toMLList } = { toMLList := toMLList_1 }) = (toMLList = toMLList_1)