> this array stops being a functor Okay, "the type of this array stops belonging to the typeclass of functors". Better? Peace? :-) I totally agree with your

> this array stops being a functor Okay, "the type of this array stops belonging to the typeclass of functors". Better? Peace? :-) I totally agree with your rant and I'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's not even very hard for C++ programmers.