Add link to Implementing, and Understanding Type Classes article.