Effective Haskell: ch1 summary says "next types" (page 44)

Another good catch- I’ll add an errata about this. Thanks!