Type inference has usability problems