https://kraft.blog/2016/01/2016-the-year-of-bad-typing/