A pain point, for me, is having to explicitly type private functions. I like refactoring independent blocks out into functions, to separate the scopes and have

A pain point, for me, is having to explicitly type private functions. I like refactoring independent blocks out into functions, to separate the scopes and have readable summaries a la self-documenting code. Having to fish out and then explicitly enter some library's useful but complex type makes it unpleasant. I'm starting to see a pattern here... Hmm, maybe private functions should be treated differently?