More review additions

Author: Sporarum

docs/_docs/reference/contextual/derivation.md

@@ -41,7 +41,7 @@ For a class/trait/object/enum `DerivingType[T_1, ..., T_N] derives TC`, a derive
 
 The general "shape" of the derived instance is as follows:
 ```scala
-given [...]: TC[ ... DerivingType[...] ... ] = TC.derived
+given [...](using ...): TC[ ... DerivingType[...] ... ] = TC.derived
 ```
 `TC.derived` should be an expression that conforms to the expected type on the left, potentially elaborated using term and/or type inference.
 
@@ -64,6 +64,9 @@ given [T_1: TC, ..., T_N: TC]: TC[DerivingType[T_1, ..., T_N]] = TC.derived
 
 This is the most common case, and is the one that was highlighted in the introduction.
 
+**Note:** The `[T_i: TC, ...]` introduces a `(using TC[T_i], ...)`, more information in [Context Bounds](./context-bounds.md).
+This allows the `derived` member to access these evidences.
+
 **Note:** If `N == 0` the above means:
 ```scala
 given TC[DerivingType] = TC.derived
@@ -116,6 +119,7 @@ given [T_1, ... T_(N-K)]: TC[[A_1, ..., A_K] =>> DerivingType[T_1, ... T_(N-K),
 We have therefore: `DerivingType[T_1, ..., T_N] derives CanEqual`.
 
 Let `U_1`, ..., `U_M` be the parameters of `DerivingType` of kind `*`.
+(These are a subset of the `T_i`s)
 
 The generated instance is then:
 ```scala