{α : Type} →
  [Inhabited α] →
    Std.Internal.IO.Async.ContextAsync α →
      Std.Internal.IO.Async.ContextAsync α →
        optParam Task.Priority Task.Priority.default → Std.Internal.IO.Async.ContextAsync α