> In effect, we are shifting complexity from end-developers to library developers That is the whole reason to use libraries. This blog post shows that types m

> In effect, we are shifting complexity from end-developers to library developers That is the whole reason to use libraries. This blog post shows that types make development more enjoyable by shifting the complexity burden to library authors, who are vastly fewer in number than library users. It is a clear win.