@hackage sized0.7.0.0

Sized sequence data-types

A wrapper to make length-parametrized data-type from functorial data-types.