Rephrase section on Kleisli categories.