New constrained-monad PDF, with typos corrected.