nabilhassein
Politically, there are many constitutional actions that our government quite rightly chooses not to take. (Though certainly, the constitutional aspects are extremely relevant in this particular case.)
Morally, it's easy to produce historical examples of morally repugnant but legal institutions. You can similarly argue that if the Constitution allows for secret law which permits the sort of mass surveillance the NSA has been revealed to undertake, then all this shows is that the Constitution is defective, not that these actions are in any way acceptable.
Especially if you tend to find yourself making arguments like this last one, it might sometimes be advantageous to try to achieve political goals by means outside of the court-focused means used by, for example, the ACLU. Leaks are one such method.
"In this mythical, not yet-existing, but clearly on-the-horizon "Haskell", you'll be able to choose how much safety you want. You'll have "knobs" for increasing or decreasing compile-time checks for any property and invariant you desire."
It might not be "Haskellish" or safe in the way that I or some others are used to, but it does seem to be a clear increase in the expressiveness of the language.
[1] http://axisofeval.blogspot.com/2011/01/why-lisp-is-big-hack-...