diff --git a/collects/tests/typed-racket/succeed/pr13094.rkt b/collects/tests/typed-racket/succeed/pr13094.rkt
new file mode 100644
index 0000000000..9abc1baa9e
--- /dev/null
+++ b/collects/tests/typed-racket/succeed/pr13094.rkt
@@ -0,0 +1,12 @@
+#lang typed/racket
+
+;; Test alpha equivalent types
+
+(: x (All (A) (A -> A)))                                                                                                     
+(define x (plambda: (C) ((f : C)) f))
+
+(: y (All (A) (A A -> A)))
+(define y (plambda: (C) ((f : C) (g : A)) f))
+
+(: z (All (B) (B (B -> B) -> B)))
+(define z (plambda: (C) ((x : C) (f : (B -> B))) (f x)))