typo in §6.4, heading "Functor, and Type Class Laws"