Some utilities for typed lists.
These are for lists with elements of homogeneous types, similarly to std/typed-lists. In contrast, the list utilities are for lists with elements of any types.
These utilities may be eventually integrated into std/typed-lists.
