doc(type-lambdas): variance is not supported

Author: robstoll

docs/docs/reference/new-types/type-lambdas-spec.md

@@ -14,7 +14,7 @@ TypeBounds        ::=  [‘>:’ Type] [‘<:’ Type]
 
 ### Type Checking
 
-A type lambda such as `[X] =>> F[X]` defines a function from types to types. The parameter(s) may carry bounds and variance annotations.
+A type lambda such as `[X] =>> F[X]` defines a function from types to types. The parameter(s) may carry bounds.
 If a parameter is bounded, as in `[X >: L <: U] =>> F[X]` it is checked that arguments to the parameters conform to the bounds `L` and `U`.
 Only the upper bound `U` can be F-bounded, i.e. `X` can appear in it.