Don't Fear the Implicits: Everything You Need to Know About Typeclasses by Daniel Westheide