Add array example
Qualify all unqualified names in type class declarations
Do notation using type classes