Type inference has usability problems (2019) | TickerVault