💻 How to review this PR?

This PR was created with the idea of being reviewed commit by commit. Each commit contains an incremental change that makes it easier to review. Also some of the commits contain additional information in their description to help understand why the change was made.

🚀 What's included in this PR?

New method Ask.make to ease creating a new Ask instance

- implicit def instance[F[_]: Monad: Trace.WithContext]: Ask[F, SpanContext] = new Ask[F, SpanContext] {
-
-   override def F: Monad[F] = Monad[F]
-
-   override def ask[R1 >: SpanContext]: F[R1] = Trace.WithContext[F].context.widen
-
- }
+ implicit def instance[F[_]: Monad: Trace.WithContext]: Ask[F, SpanContext] = Ask.make(Trace.WithContext[F].context)

Add Ask instances for Tuple types

Provide automatic derivation of Ask instances for tuple types if we have instances for underlying types.

Provide implicit syntax for Local

- Local[F, Something]
-   .local(
-     myService.doSomething()
-   )(_.update(withSomething))
+ myService.doSomething()
+   .local(_.update(withSomething))

Provide Ask instances for SpanContext, TraceId & SpanId