Typeclassopedia/Type Classes hierarchy map

[Bartosso]

I believe tofu needs a typeclassopedia or/and type-classes hierarchy map. Unfortunately, not all typeclasses are reflected in the existing doc, complicating diving into tofu for new people.