diff --git a/README.md b/README.md
new file mode 100644
index 0000000..337e5c5
--- /dev/null
+++ b/README.md
@@ -0,0 +1,8 @@
+# Utilities for composing functions in Typed Racket
+
+Typed Racket's `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
+`compose`-ing more than two functions more comfortable in
+Typed Racket.