The rise of type inference and its impact on language syntax: https://medium.com/@elizarov/types-are-moving-to-the-right-22c0ef31dd4a