{α : Type u} →
  {motive_1 : Lean.PersistentArrayNode α → Sort u_1} →
    {motive_2 : Array (Lean.PersistentArrayNode α) → Sort u_1} →
      {motive_3 : List (Lean.PersistentArrayNode α) → Sort u_1} →
        List (Lean.PersistentArrayNode α) → Sort (max (u + 1) u_1)