Type inference has usability problems (2019) (via abhin4v) — discussion

#plt