"Types are Anti-Modular"
https://gbracha.blogspot.com/2011/06/types-are-anti-modular.html
"Types Considered Harmful" by Benjamin C. Pierce.
https://www.cis.upenn.edu/~bcpierce/papers/harmful-mfps.pdf
Down with types!
Scheme is the optimal programming language!