(motive : Std.Broadcast.Error → Sort u_1) →
  (x : Std.Broadcast.Error) →
    (Unit → motive Std.Broadcast.Error.closed) →
      (Unit → motive Std.Broadcast.Error.alreadyClosed) → (Unit → motive Std.Broadcast.Error.notSubscribed) → motive x