I very much enjoy the false dichotomy argument that the bigger issue is tests, rather than types. Thank you for brightening my day.