diff --git a/unison-src/transcripts/fix3752.md b/unison-src/transcripts/fix3752.md
new file mode 100644
index 0000000000..72979087f5
--- /dev/null
+++ b/unison-src/transcripts/fix3752.md
@@ -0,0 +1,22 @@
+```ucm:hide
+.> builtins.merge
+```
+
+These were failing to type check before, because id was not
+generalized.
+
+```unison
+
+foo = do
+  id x =
+    _ = 1
+    x
+  id ()
+  id "hello"
+
+bar = do
+  id x = x
+  id ()
+  id "hello"
+```
+
diff --git a/unison-src/transcripts/fix3752.output.md b/unison-src/transcripts/fix3752.output.md
new file mode 100644
index 0000000000..fd477070ba
--- /dev/null
+++ b/unison-src/transcripts/fix3752.output.md
@@ -0,0 +1,31 @@
+These were failing to type check before, because id was not
+generalized.
+
+```unison
+foo = do
+  id x =
+    _ = 1
+    x
+  id ()
+  id "hello"
+
+bar = do
+  id x = x
+  id ()
+  id "hello"
+```
+
+```ucm
+
+  Loading changes detected in scratch.u.
+
+  I found and typechecked these definitions in scratch.u. If you
+  do an `add` or `update`, here's how your codebase would
+  change:
+  
+    ⍟ These new definitions are ok to `add`:
+    
+      bar : 'Text
+      foo : 'Text
+
+```