The fact
Types are becoming unreadable, likened to academic theses or minified code.
The language may be exceeding its original goal of early bug detection.
Click the link to read an article on the topic:
Types are becoming unreadable, likened to academic theses or minified code.
The language may be exceeding its original goal of early bug detection.