diff --git a/collects/typed-scheme/private/base-env.rkt b/collects/typed-scheme/private/base-env.rkt
index 105f992a..e64f0852 100644
--- a/collects/typed-scheme/private/base-env.rkt
+++ b/collects/typed-scheme/private/base-env.rkt
@@ -912,3 +912,8 @@
 ;;write-special-evt
 [port-writes-atomic? (-Output-Port . -> . -Boolean)]
 [port-writes-special? (-Output-Port . -> . -Boolean)]
+
+;; probably the most useful cases
+[curry (-poly (a b c) 
+	      (cl->* ((a b . -> . c) a . -> . (b . -> . c))
+		     ((a b . -> . c) . -> . (a . -> . (b . -> . c)))))]
\ No newline at end of file