Witnesses for working with type-level lists.

Collection of assorted inductive witnesses and functions for working with type-level lists.

• *Data.Type.List.Edit* contains single-item edits of lists, including insertion, deletion, and substitution.

• *Data.Type.List.Sublist* contains witnesses for prefixes, suffixes, and two-way splits of type-level lists.

[list-witnesses][docs]

Collection of assorted inductive witnesses and functions for working with type-level lists.

• Data.Type.List.Edit contains single-item edits of lists, including insertion, deletion, and substitution.
• Data.Type.List.Sublist contains witnesses for prefixes, suffixes, and two-way splits of type-level lists.