"Something happens when one tries to have rational conversations about downsides with people strongly advocating expansion of type-level programming capabilities (…) This happens all the time once extensive type-level programming facilities are available in a language–they immediately get misapplied in ways that makes code harder to understand, excludes beginners and fails to convince those from the outside."
