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