Apply suggestions from code review

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

Author: Sporarum

docs/_docs/reference/contextual/derivation.md

@@ -91,21 +91,21 @@ Where of course `TC` and `DerivingType` are applied to types of the correct kind
 
 To make this work, we split it into 3 cases:
 
-If `TC` and `DerivingType` take the same number of arguments (`N == K`):
+If `F` and `DerivingType` take the same number of arguments (`N == K`):
 ```scala
 given TC[DerivingType] = TC.derived
 // simplified form of:
 given TC[ [A_1, ..., A_K] => DerivingType[A_1, ..., A_K] ] = TC.derived
 ```
-If `DerivingType` takes less arguments than `TC` (`N < K`), we throw away the leftmost ones:
+If `DerivingType` takes less arguments than `F` (`N < K`), we use only the rightmost parameters from the type lambda:
 ```scala
 given TC[ [A_1, ..., A_K] =>> DerivingType[A_(K-N+1), ..., A_K] ] = TC.derived
 
 // if DerivingType takes no arguments (N == 0), the above simplifies to:
 given TC[ [A_1, ..., A_K] =>> DerivingType ] = TC.derived
 ```
 
-If `TC` 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 leftmost slots with type parameters:
 ```scala
 given [T_1, ... T_(N-K)]: TC[[A_1, ..., A_K] =>> DerivingType[T_1, ... T_(N-K), A_1, ..., A_K]] = TC.derived
 ```