Section 10.8, para right after code, "Given a pair, cond evaluates its element." I would think you would want to say "... cond evaluates it first element".
Section 11.8, page 166, "... either left-hand or right-hand size of an arrow." You must want "side", not "size".
Section 15.5, page 236, "... to be passed to in as the source-monad:", probably want to be "to be passed in as the source monad:".
Same page, toward the bottom: "... fair amount of rote code and a core of core that requires" might want to lose "of core".
For the garrulous gastropod version:
Section 10.8, para right after code, "Given a pair, cond evaluates its element." I would think you would want to say "... cond evaluates it first element".
Section 11.8, page 166, "... either left-hand or right-hand size of an arrow." You must want "side", not "size".
Section 15.5, page 236, "... to be passed to in as the source-monad:", probably want to be "to be passed in as the source monad:".
Same page, toward the bottom: "... fair amount of rote code and a core of core that requires" might want to lose "of core".