The diagram comes from <a href="https:&#x2F;&#x2F;wiki.haskell.org&#x2F;Typeclassopedia" rel="nofollow">https:&#x2F;&#x2F;wiki.haskell.org&#x2F;Typeclassopedia</a> which also explains most of these things.