Apply suggestions from code review

Co-authored-by: Jamie Thompson <[email protected]>

Author: Sporarum

docs/_docs/reference/contextual/derivation.md

@@ -55,6 +55,7 @@ Therefore `TC` is defined as `TC[F[A_1, ..., A_K]]` (`TC[F]` if `K == 0`) for so
 There are two further cases depending on the kinds of arguments:
 
 #### `F` and all arguments of `DerivingType` have kind `*`
+**Note:** `K == 0` in this case.
 
 The generated instance is then:
 ```scala
@@ -105,7 +106,7 @@ given TC[ [A_1, ..., A_K] =>> DerivingType[A_(K-N+1), ..., A_K] ] = TC.derived
 given TC[ [A_1, ..., A_K] =>> DerivingType ] = TC.derived
 ```
 
-If `F` takes less arguments than `DerivingType` (`K < N`), we fill in the leftmost slots with type parameters:
+If `F` takes less arguments than `DerivingType` (`K < N`), we fill in the remaining leftmost slots with type parameters of the given:
 ```scala
 given [T_1, ... T_(N-K)]: TC[[A_1, ..., A_K] =>> DerivingType[T_1, ... T_(N-K), A_1, ..., A_K]] = TC.derived
 ```
@@ -134,7 +135,7 @@ generates the following given instance:
 ```scala
 object MyClass:
   ...
-  given [A_L, A_R, G_L[_], G_R[_]](using CanEqual[A_L, B_L]): CanEqual[MyClass[A_L, G_L], MyClass[A_R, G_R]] = CanEqual.derived
+  given [A_L, A_R, G_L[_], G_R[_]](using CanEqual[A_L, A_R]): CanEqual[MyClass[A_L, G_L], MyClass[A_R, G_R]] = CanEqual.derived
 ```
 
 ### `TC` is not valid for automatic derivation