diff --git a/docs/docs/reference/new-types/type-lambdas-spec.md b/docs/docs/reference/new-types/type-lambdas-spec.md
index e17662a174a7..6d44e493988e 100644
--- a/docs/docs/reference/new-types/type-lambdas-spec.md
+++ b/docs/docs/reference/new-types/type-lambdas-spec.md
@@ -89,7 +89,7 @@ is treated as a shorthand for
 ```
 Abstract types and opaque type aliases remember the variances they were created with. So the type
 ```scala
-def F2[-A, +B]
+type F2[-A, +B]
 ```
 is known to be contravariant in `A` and covariant in `B` and can be instantiated only
 with types that satisfy these constraints. Likewise