In this particular case I would prefer a tax that discourages HFT somehow, regardless of revenue.

I can't properly answer your question though, as I don't know what you mean by distortion nor exactly what the underlying problem at issue would be.