∀ {α : Type} (promise : IO.Promise Bool) (waiter : Option (Std.Internal.IO.Async.Waiter (Option α)))
  (promise_1 : IO.Promise Bool) (waiter_1 : Option (Std.Internal.IO.Async.Waiter (Option α))),
  ({ promise := promise, waiter := waiter } = { promise := promise_1, waiter := waiter_1 }) =
    (promise = promise_1 ∧ waiter = waiter_1)