Thanks for the erratum report. I always mix those two up! :-/ I've added it to the errata page: https://github.com/effectivejs/site/wiki/Errata https://github.

Thanks for the erratum report. I always mix those two up! :-/ I've added it to the errata page: https://github.com/effectivejs/site/wiki/Errata https://github.com/effectivejs/site/wiki/Errata (Let me know if I got your name wrong for the credit; I followed links from your HN profile.) Thanks, Dave