[aib]

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?