How can I convert a WAV from stereo to mono in Python?

I don't want to use any other apps (like sox) - I want to do this in pure Python. Installing needed Python libs is fine.

If the WAV file is PCM-encoded then you can use wave. Open the source and destination files, read samples, average the channels, and write them out.