diff --git a/collects/typed-scheme/test2.ss b/collects/typed-scheme/test2.ss
new file mode 100644
index 0000000000..33f552eb98
--- /dev/null
+++ b/collects/typed-scheme/test2.ss
@@ -0,0 +1,12 @@
+#lang typed-scheme
+
+(: f (Number String -> Number))
+(define (f x z) (f x z))
+(lambda: ([x : Any] [y : Any]) (values (number? y) (number? x)))
+(lambda: ([x : Any] [y : Any]) (values (number? x) (number? y)))
+(lambda: ([x : Any]) (values (number? x) (number? x)))
+(: g (Any -> Boolean : Number))
+(define g (lambda: ([x : Any]) (number? x)))
+
+;(f 12 "hi")
+