diff --git a/rfcs/recursive-type-unrestriction.md b/rfcs/recursive-type-unrestriction.md
index dc739c58..82802e60 100644
--- a/rfcs/recursive-type-unrestriction.md
+++ b/rfcs/recursive-type-unrestriction.md
@@ -20,7 +20,7 @@ but *not* recursive type functions, such as:
   type TreeWithMap<a> = { ..., map: <b>(a -> b) -> Tree<b> }
 
 ```
-These examples cope up naturally in OO code bases with generic types.
+These examples come up naturally in OO code bases with generic types.
 
 ## Design