&gt;  this array stops being a functor<p>Okay, &quot;the type of this array stops belonging to the typeclass of functors&quot;. Better? Peace? :-)<p>I totally agree with your rant and I&#x27;m personally less than half way there myself, but this particular comment was within the context of the original article. I do understand the difference between the type and the value (instance). It&#x27;s not even very hard for C++ programmers.