Have You Left Off Beating Your Wife?

Continuing the series of what type theory can do for philosophy, let us take a look at the infamous question of the title. To forestall criticism, let me say straight away that I'm not proposing in these posts that...