list-witnesses-0.1.3.2: Witnesses for working with type-level lists

Index - T

takeIndexData.Type.List.Sublist
takeRecData.Type.List.Sublist