[johnfn]

> That is the whole point in creating a library. To hide complexity in a nice easy to use interface/API.

Totally agree. Minor ergonomic changes in a library have a wildly disproportionate impact on developers. If I save a developer 5 seconds with a better type, and I have 1000 developers using my library, that's 5,000 seconds I just saved - and that's assuming they only ever use my type a single time! With this in mind, I'm totally OK paying a tax on making libraries a bit harder to write, if it means that the benefits of stronger types fan out. After all, writing that type could take 4,995 seconds for me to write and still be a net positive.

And honestly, 5 seconds isn't even close to accurate. Good type definitions have saved me hours.