Implementing, and Understanding Type Classes | Dark Hacker News