Haskell (I realize this may not pass your threshold for widespread use) has equal support for co-recursion as for structural recursion.

The Senate gives a rather disproportionate democracy in which the votes of a small number in small states take on disproportionate significance compared to the votes of a large number in populous states.

The Senate is, while not the whole story, a significant part of the reason the government constantly fails to do what is either the desire of the people or what's in their interests. I wouldn't lament losing the Senate.

Not wanting to visit a country is not moral justification for killing its people (including women and even grade school girls).