Through reading the main content, one should be in a position to understand simple programs in each of the three languages. In these ‘addendums’ we look at some topics that use these basics in some interesting ways.

Home Grown Interfaces/Typeclasses/Type Constraints
where we look at how we can model type constraints using records and higher-order functions