hets -- a heterogenous Specification (CASL) tool setContentsIndex
ABCDEFGHIKLMNOPQRSTUVWZ:!$&+<@\
Index (:)
:=>
1 (Data Constructor)
2 (Data Constructor)
:>: