diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/info.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/info.rkt
index 354220f9..7c1873f9 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-test/info.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/info.rkt
@@ -2,7 +2,7 @@
 
 (define collection 'multi)
 (define deps '("typed-racket" "typed-racket-more" "typed-racket-compatibility"
-               "unstable"))
+               "unstable" "unstable-2d"))
 (define build-deps '("scheme-lib"
                      "base"
                      "racket-benchmarks"
diff --git a/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/2d-typed.rkt b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/2d-typed.rkt
new file mode 100644
index 00000000..6cca6590
--- /dev/null
+++ b/pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/2d-typed.rkt
@@ -0,0 +1,19 @@
+
+#lang unstable/2d typed/racket/base
+(require unstable/2d/match)
+
+(: f : Integer Integer -> Integer)
+(define (f x y)
+  #2dmatch
+  ╔════════════════╦═══╦════════════════════════╗
+  ║   y            ║ 0 ║       #{b : Integer}   ║
+  ║ x              ║   ║                        ║
+  ╠════════════════╬═══╬════════════════════════╣
+  ║  0             ║ 0 ║      0                 ║
+  ╠════════════════╬═══╬════════════════════════╣
+  ║#{a : Integer}  ║ 0 ║     (let loop ([a a]   ║
+  ║                ║   ║                [b b])  ║
+  ║                ║   ║        (loop a b))     ║
+  ╚════════════════╩═══╩════════════════════════╝) 
+
+(f 0 1)
\ No newline at end of file