Effective Haskell: Chapter 6 "Wrapping Types with Newtype"

The end of the introduction to the section of Chapter 6 “Wrapping Types with Newtype” says “Finally, typeclasses allow you to express certain things that aren’t otherwise directly allowed due to limitations in the type checker. In the rest of this section we’ll explore each of these use-cases for typeclasses.” I think the two “typeclasses” should be “newtype” since these sentences follow of sequence of observations on newtype and this is introducing the section on newtypes.

1 Like