Chapter 3 Reading Guide
We learn about types and typeclasses. Types are familiar. Typeclasses are more abstract - roughly, they specify abilities.
3. Types and Typeclasses
Typeclasses abstract characteristics of types like String or Int.
Types categorize the kinds of data that appear in a program. Typeclasses provide general abilities that different types can have.
For example, String is a type which means a list of characters. Show is a typeclass. Every type implementing Show will have a “show” method that converts it to a string (the method does not need to have the same name as the typeclass).