∀ {α t : Type} [inst : Std.Internal.Async.IO.AsyncStream t α] (a : t) (t_1 : Type)
  (inst_1 : Std.Internal.Async.IO.AsyncStream t_1 α) (a_1 : t_1),
  (Std.AnyAsyncStream.mk a = Std.AnyAsyncStream.mk a_1) = (t = t_1 ∧ inst ≍ inst_1 ∧ a ≍ a_1)