{α : Type u_2} →
  (motive : Except Plausible.GenError (ULift.{u_1, u_2} α) → Sort u_3) →
    (x : Except Plausible.GenError (ULift.{u_1, u_2} α)) →
      ((e : Plausible.GenError) → motive (Except.error e)) →
        ((a : ULift.{u_1, u_2} α) → motive (Except.ok a)) → motive x