diff --git a/docs/docs/reference/new-types/type-lambdas.md b/docs/docs/reference/new-types/type-lambdas.md
index 9a382987dafe..311438a0c77c 100644
--- a/docs/docs/reference/new-types/type-lambdas.md
+++ b/docs/docs/reference/new-types/type-lambdas.md
@@ -10,7 +10,7 @@ a type definition.
 
 For instance, the type above defines a binary type constructor, with a
 covariant parameter `X` and a non-variant parameter `Y`. The
-constructor maps arguments `S` and `T` to `Map[T, S]`. Type parameters
+constructor maps arguments `X` and `Y` to `Map[Y, X]`. Type parameters
 of type lambdas can have variances and bounds. A parameterized type
 definition or declaration such as
 
@@ -21,4 +21,4 @@ right-hand side:
 
     type T = [X] => (X, X)
 
-[More details](./type-lambdas-spec.html)
\ No newline at end of file
+[More details](./type-lambdas-spec.html)