title: Why is a "type class" called "type class"?
body: <p>When diving deeper into Scala I hit the term <strong>type class</strong>.
   It had been confusing because a class is a type and a type could
   be a class in Scala and "type" and "class" are in itself abstract terms.</p>
  
  <p>After reading some examples I got a feeling what a type class could
   be, but maybe there is an easier approach to get a mental hook
   (picture, concept)  to what a type class is by explaining why it had
   been named like that.</p>