diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr14567.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr14567.rkt
new file mode 100644
index 00000000..4a51845c
--- /dev/null
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr14567.rkt
@@ -0,0 +1,5 @@
+#lang typed/racket
+(provide f)
+(define-type C (Pair Number (Pair Number C)))
+(: f (C -> Boolean))
+(define (f x) (list? x))