G[_, _]) needs to fit into
F[_]so that you can fetch
Resourceso it can unify with
Applicative, but they have two type parameters) and so on
Fiber[F, A](I hope you can see the pattern)
Optionwon't expose the bug, since those types already have an
partial-unificationat least https://typelevel.org/cats, might be useful to mention in cats-effect as well
Deferred. I'd also like to cancel the right if the left wins.
facompletes after during the left hand side
f(cb)before, you won't be racing anymore, no?