(motive : UInt64 × List Lean.Widget.PanelWidgetsExtEntry → Sort u_1) →
  (x : UInt64 × List Lean.Widget.PanelWidgetsExtEntry) →
    ((fst : UInt64) → (l : List Lean.Widget.PanelWidgetsExtEntry) → motive (fst, l)) → motive x