From 62642493e5334455cfc506747c964c34c575390d Mon Sep 17 00:00:00 2001
From: Marcus <ukendio@gmail.com>
Date: Fri, 7 Mar 2025 19:41:20 +0100
Subject: [PATCH] Update eager-inference-annotations-for-polymorphic-types.md

---
 docs/eager-inference-annotations-for-polymorphic-types.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/eager-inference-annotations-for-polymorphic-types.md b/docs/eager-inference-annotations-for-polymorphic-types.md
index 481e9db..eba8c8e 100644
--- a/docs/eager-inference-annotations-for-polymorphic-types.md
+++ b/docs/eager-inference-annotations-for-polymorphic-types.md
@@ -2,7 +2,7 @@
 
 ## Summary  
 
-The RFC introduces a feature to annotate polymorphic function types to express that the first instantiation of a polymorphic type `T` is the one that sticks. 
+The RFC introduces a feature to annotate polymorphic function types to express that the first bind to `T` will be the one that sticks. 
 
 ## Motivation