∀ {α : Type u} {β : α → Type v} {δ : Type w} {m : Type w → Type w'} [inst : Monad m] (f : (a : α) → β a → δ → m δ)
  (x : δ) (x_1 : Std.DHashMap.Internal.AssocList α β),
  Std.DHashMap.Internal.AssocList.foldrM f x x_1 =
    match x, x_1 with
    | d, Std.DHashMap.Internal.AssocList.nil => pure d
    | d, Std.DHashMap.Internal.AssocList.cons a b es => do
      let d ← Std.DHashMap.Internal.AssocList.foldrM f d es
      f a b d