On: How types make hard problems easy

[t-writescode]

  * Common functions such as parsing functions in languages that don't support function overloading

  * "equals" and other global functions.

[shepherdjerred → t-writescode]

Typescript have solutions for both of those problems: conditional types and generics