∀ {m : Type u_1 → Type u_2} {α : Type u_3} {β : Type u_4} {δ : Type u_1} [inst : Monad m] (l : Batteries.AssocList α β)
  (init : δ) (f : α × β → δ → m (ForInStep δ)), forIn l init f = forIn l.toList init f