∀ {Γ : Type u_1} {Γ' : Type u_2} [inst : Inhabited Γ] [inst_1 : Inhabited Γ'] (l l_1 : Turing.ListBlank Γ),
  l = l_1 →
    ∀ (f f_1 : Γ → List Γ') (e_f : f = f_1) (hf : ∃ n, f default = List.replicate n default),
      l.flatMap f hf = l_1.flatMap f_1 ⋯