diff --git a/manual.scrbl b/manual.scrbl
index 9ecb3ef..c795e95 100644
--- a/manual.scrbl
+++ b/manual.scrbl
@@ -65,6 +65,18 @@ fancy-add1
 (fancy-add1 "1")
 ]}
 
+@section{Macros for composing functions}
+
+@defform[(make-compose n)
+         #:contracts ([n exact-nonnegative-integer])]{
+
+Expants to a typed @racket[lambda] form composing exactly @racket[n]
+one-argument functions.  For example, @racket[compose-3] is defined as:
+@racket[(define compose-3 (make-compose 3))].  The rest of the functions of the
+@racket[compose-i] family are defined using this macro as well.
+
+}
+
 @defform[(multi-compose func ...)
 	 #:contracts ([func expression])]{