[dependenttypes]

> 80% of doctors don't suck.

You would be surprised. I do agree with the rest of your post however.