Typeclassopedia: Exericise 3.1.