diff --git a/docs/eager-inference-annotations-for-polymorphic-types.md b/docs/eager-inference-annotations-for-polymorphic-types.md
index cc5cda3..bdf883d 100644
--- a/docs/eager-inference-annotations-for-polymorphic-types.md
+++ b/docs/eager-inference-annotations-for-polymorphic-types.md
@@ -53,4 +53,4 @@ The `T!` syntax would indicate a that the type binding for `T` is monomorphic.
 
 - **Type Function Constraint**: Provide a `types.monomorphic<T>` function in user-defined type functions to enforce monomorphism dynamically. But this would probably require some way to propagate an `*error-type*` to the user
 - **Keywords**: Something like `<greedy T>` or `<strict T>` should also be considered if we want to reduce symbols
-- **Function-parameter-bindings**: Flip the relationship from being declared per-type-parameter to be set per-function-parameter: `function test<T>(a: T, b: T, c: T!)` which could allow both inference behaviours of polymorphic types under a uniform syntax.
+- **Function-argument-bindings**: Flip the relationship from being declared per-type-parameter to be set per-argument: `function test<T>(a: T, b: T, c: T!)` which could allow both inference behaviours of polymorphic types under a uniform syntax.