Start the package.

info.rkt

@@ -0,0 +1,5 @@
+#lang info
+
+(define collection "typed-compose")
+(define deps '("base"))
+(define scribblings '(("typed-compose.scrbl" ())))

typed-compose.rkt

@@ -0,0 +1,6 @@
+#lang typed/racket
+
+(require (for-syntax syntax/parse))
+
+(module+ test
+  (require typed/rackunit))

typed-compose.scrbl

@@ -0,0 +1,14 @@
+#lang scribble/manual
+
+@(require scribble/example racket/sandbox
+	  (for-label racket/base "typed-compose.rkt"
+	  	     (only-in typed/racket/base
+		              -> compose)))
+
+@title{Utilies for composing functions in Typed Racket}
+
+Typed Racket's @racket[compose] only takes two arguments, because in general it
+is difficult to specify that the return types and the argument types should be
+the same for two successive functions in the argument list.  This package
+defines some further utilities to allow @racket[compose]-ing more than two
+functions more comfortable in Typed Racket.