From b47e0009804b83913665e667d5985aa8eab835e5 Mon Sep 17 00:00:00 2001
From: Ardi <113623122+hardlyardi@users.noreply.github.com>
Date: Fri, 7 Mar 2025 02:09:09 -0600
Subject: [PATCH] Update wording in summary

automatic instantiation -> implicit instantiation
"one type" transitioned to "first usage" for clarity
---
 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 dfac69a..c2fcff9 100644
--- a/docs/eager-inference-annotations-for-polymorphic-types.md
+++ b/docs/eager-inference-annotations-for-polymorphic-types.md
@@ -2,7 +2,7 @@
 
 ## Summary  
 
-Introduce a way to annotate a polymorphic function signature to express that it will only allow one argument type to interact with automatic instantiation.
+Introduce a way to annotate a polymorphic function signature to express that it will only allow the first usage of a polymorphic type to interact with implicit instantiation.
 
 ## Motivation