In this answer, I will mostly deal with what makes the presence of that question on Stack Overflow reasonable.
The title of the question is "Good examples of not a Contravariant/Contravariant/Divisible/Decidable?". Contravariant
, Divisible
and Decidable
are interfaces that form a hierarchy (every Decidable
is Divisible
, and every Divisible
is a Contravariant
, but not vice versa). Those interfaces are very general, to the point that someone unacquainted with them might find it difficult to, for instance, grasp how they relate to each other. The question asks for counterexamples that shed light on the differences between them. Those counterexamples are meant to be judged on the basis of whether they are simple and transparent enough to illustrate the differences in a clear way (this criterion, though implicit, is evident to potential answerers). The examples presented in the existing answers do fit the bill.
The question links to "Good examples of Not a Functor/Functor/Applicative/Monad?" because that is a well-known (as of now, 196 score and ~13k views) question with the same format but about a different (yet related) hierarchy of interfaces. The examples in the answers over there are not "bad examples" in the slightest. Rather, they are very effective in capturing the contrasts in the way I have discussed above. (In particular, that other question has a stellar answer by user pigworker -- a widely known and respected academician expert on the subject matter -- built out of examples that are excellent because they are minimal.)
On a more general note, I believe questions asking for on-site examples of clearly defined things under a sufficiently narrow scope are on-topic. My views about that are expressed in my answers to Questions looking for an example and Is example (not code) requesting in some situations on-topic?.
Would it be possible to phrase the question in a way that would make it less of a tricky question should it appear in an audit? Possibly. I'd say, however, that has more to do with the lack of subtlety of the audit system (as Samuel Liew puts it, "It's 'correct' in the sense that it has a positive score and so far nobody has voted to close the question") than with the acceptability of the question itself.