With a powerful type system, I think you tend to see examples of libraries that fall along a spectrum of how deep into the type system they're willing to go. T

With a powerful type system, I think you tend to see examples of libraries that fall along a spectrum of how deep into the type system they're willing to go. This is an example of the farther end, but "ideally" as a user of the library, the actual complexity would be hidden, and it "just works" for you.