Michael has given me permission to quote his classification of pedants (or perhaps of pedantry), so here it is:
For instance, when writing a standard, or trying to sort out exactly which exit from Boots one should meet outside, so one doesn't stand outside the wrong entrance like a fool.
There are two initial subdivisions of Type 2 pedantry:
For both of these initial subdivisions, one can distinguish
That is, pedantry used to obstruct communication (i.e., the
opposite of
This is typically used to avoid an argument - for instance, "Well, it depends what you mean by XXX...".
Note that it is possible that this is not the order in which Michael has presented this scheme in the past. However, it is an accurate transcription of the classification scheme as I scribbled it down in my diary when he told me it.