From 573b88d3ef86167e2336ad1f67d0265d4f2beede Mon Sep 17 00:00:00 2001
From: "ajeffrey@roblox.com" <ajeffrey@roblox.com>
Date: Thu, 6 Jan 2022 16:52:16 -0600
Subject: [PATCH] Added an example from DataBrain

---
 rfcs/recursive-type-unrestriction.md | 21 ++++++++++++++++++++-
 1 file changed, 20 insertions(+), 1 deletion(-)

diff --git a/rfcs/recursive-type-unrestriction.md b/rfcs/recursive-type-unrestriction.md
index 82802e60..145ebef8 100644
--- a/rfcs/recursive-type-unrestriction.md
+++ b/rfcs/recursive-type-unrestriction.md
@@ -20,7 +20,26 @@ but *not* recursive type functions, such as:
   type TreeWithMap<a> = { ..., map: <b>(a -> b) -> Tree<b> }
 
 ```
-These examples come up naturally in OO code bases with generic types.
+These examples come up naturally in OO code bases with generic types, for example
+```lua
+--!strict
+export type PromiseFor<T> = {
+  andThen: <U>(
+    self: PromiseFor<T>,
+    onFulfilled: ((result: T) -> U)?,
+    onRejected: ((err: string) -> U)?
+  ) -> PromiseFor<U>,
+  catch: <U>(
+    self: PromiseFor<T>,
+    onRejected: ((err: string) -> U)?
+  ) -> PromiseFor<U>,
+  finally: <U>(
+    self: PromiseFor<T>,
+    onResolvedOrRejected: ((wasFulfilled: boolean, resultOrErr: T | string) -> U)
+  ) -> PromiseFor<U>,
+}
+```
+as discussed at the [Roblox DevForum](https://devforum.roblox.com/t/regression-with-genericrecursively-defined-types/1616647).
 
 ## Design