diff --git a/docs/eager-inference-annotations-for-polymorphic-types b/docs/eager-inference-annotations-for-polymorphic-types
index 24b76c8..c9c3d86 100644
--- a/docs/eager-inference-annotations-for-polymorphic-types
+++ b/docs/eager-inference-annotations-for-polymorphic-types
@@ -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 such as `function test<T>(a: T, b: T!)` which would imply allow both inference behaviours of generics in an uniform syntax
+- **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.