Suggestion: overloading is exponential #24
Description
Surprisingly it's still not well-known that arbitrary Java-style function overloading guarantees exponential typechecking time even in the most trivial situations.
The fashion show:
{{ message }}