[LYAHFGG] Samples from chapter about Typeclasses and Types.