Is Myerson's Lemma valid for piecewise linear allocation functions?
Milgrom's excellent Putting Auction Theory to Work is a reference for what you're looking for. If I'm not mistaken, Myerson's lemma works for quasi-linear payoffs.