(motive : DoResultSBC String PUnit.{1} → Sort u_1) →
  (r : DoResultSBC String PUnit.{1}) →
    ((a : String) → (u : PUnit.{1}) → motive (DoResultSBC.pureReturn a u)) →
      ((u : PUnit.{1}) → motive (DoResultSBC.break u)) → ((u : PUnit.{1}) → motive (DoResultSBC.continue u)) → motive r