possible fix for chapter 8?

Helle Peteris!

Thank you for putting the code for this delightful book on github! I'm going through chapter 8 (trying to learn the Y Combinator) while I noticed the definitions for insertL-f and insertR-f seem to be identical! I checked back with my paper copy and made what I think is a fix.