to show how it sucks that you can be parametric ev...
# arrow
r
to show how it sucks that you can be parametric even when there is proof you've covered all cases