I agree, with the caveat that if one is going to mock the Haskell community (&quot;A million words of category theory and Haskell examples to say...&quot;), it would be helpful if you don&#x27;t summarize it incorrectly (&quot;... Functors contain stuff&quot;). There are plenty of Functors in the Haskell sense that are not immediately obviously containers, such as all functions a -&gt; b, which is actually a very commonly-used one. (Of course one could stretch the definition of &quot;container&quot; to include &quot;function&quot; but, well, would that not constitute engaging in the very academic wankery one is simultaneously trying to mock?) So perhaps it is not so mysterious that it takes a bit longer to explain the Haskell uses of the term.