The dimensions library defines types and functions for working with sized containers. A sized container contains its size as part of its type signature, much as one might encounter in dependently typed programming languages.
