On: Type inference has usability problems

[b_t_s]

and then there's counterproductive documentation. It may have been correct at one time, but now it both both wastes your time and misleads you. This is why pushing as much documentation as possible into the type system is a win.