Ross A. Baker

`def resource(name: String): Resource[F, Unit]` on `ioTrace` (except the above footgun) and `noop` work great. I also tested them on spanning fs2 Streams. I am struggling with the `Resource[Kleisli[F, Span[F],...

I got the Kleisli instance working. I had to pass the resource as a continuation, similar to how we pass the effect as a continuation to `span`: ``` def resource[A](name:...

I somehow overlooked @kubukoz's prior art in #72 and #73. Jakub [twote](https://twitter.com/kubukoz/status/1496185664769036291): > If you dive deeper into the issues you'll see I battled with it before, but didn't consider...

I think my Kleisli instance is more complicated than it needs to be, but it took several hours of type tetris to get the one in the gist. There's no...

My unit test shows that the use is in the ambient span for `use` that is the same as `acquire` and `release`, even for the `Kleisli`. But it wasn't easy,...

I hadn't seen Bayou until you mentioned it, but you and @kubukoz and I all had the same basic idea. We all tried to return a `Resource[F, Unit]` instead of...

I overlooked your `spanBracket` signature somehow. I think you're grasping for the `Region` type class in the old CE3 design doc. We ended up never getting that type class, which...

Your `TracedHandler` goes from `Span[IO] => IO[Trace[IO]]` in the obvious way. I have code that receives an `Span[F]` for which I'd like to generate a `Trace[F]` instance do similar (also...

@zmccoy and I discussed wishing to be able to get the ambient `Span` today, with regards to adding support for linking. It would require having a no-op `Span` in core...

Manually passing the span seems intrusive to me. We can't trace how we use a resource without changing the very shape of the resource. ```scala def helper[F[_]: MonadCancelThrow, A](span: Span[F],...