(motive : Std.CancellationReason → Sort u_1) →
  (x : Std.CancellationReason) →
    (Unit → motive Std.CancellationReason.deadline) →
      (Unit → motive Std.CancellationReason.shutdown) →
        (Unit → motive Std.CancellationReason.cancel) →
          ((a : String) → motive (Std.CancellationReason.custom a)) → motive x