F() only works for functions that take a PROGMEM pointer of type __FlashStringHelper. Serial.print() is such a function. Apparently debugWrite() isn't.
I was hoping to get an answer as what to actually do to sort out my problem, but after some searching I found example code suggesting I write an overloaded procedure for debugWrite. So now I have debugWrite defined twice, with different parameter types.
For anyone that would like to give a helpful explanation for a dabbler, I found the code would not compile until I placed the asterisk at the end of the __FlashStringHelper type declaration as in __FlashStringHelper*