{m : Type u_1 → Type u_2} →
  {α : Type u_3} →
    {β : Type u_4} →
      {σ : Type u_1} →
        [Monad m] → (cmp : α → α → Ordering) → σ → (β → σ → m σ) → List α → Lean.PrefixTreeNode α β cmp → σ → m σ