In §4:

(<syntactic monad name> define (<name> . <formals>) <body>) is
equivalent to (define <name> (<syntactic monad name> lambda <formals>
<body>).

siiky

PS: the fancy angle brackets are not good for copypasteability.