Adding some explanations about TypeClasses