That reminded me of the introduction of the Typeclassopedia ( https://wiki.haskell.org/Typeclassopedia https://wiki.haskell.org/Typeclassopedia ), which states

That reminded me of the introduction of the Typeclassopedia ( https://wiki.haskell.org/Typeclassopedia https://wiki.haskell.org/Typeclassopedia ), which states one must understand the types and gain a good intuition of how the typeclasses relate to each other (and "good intuition comes from hard work, not from learning the right metaphor".)