{α : Type} →
  (motive : Except Plausible.GenError α → Sort u_1) →
    (m : Except Plausible.GenError α) →
      ((a : α) → motive (Except.ok a)) →
        ((msg : String) → motive (Except.error (Plausible.GenError.genError msg))) → motive m