| LeftType | Data.Type.Witness.Specific.Either, Data.Type.Witness |
| lift2ListProduct | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| ListElementType | Data.Type.Witness.Specific.List.Element, Data.Type.Witness |
| listElementTypeIndex | Data.Type.Witness.Specific.List.Element, Data.Type.Witness |
| ListElementWitness | Data.Type.Witness.General.ListElement, Data.Type.Witness |
| ListLength | Data.PeanoNat, Data.Type.Witness |
| ListProduct | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| listProductEq | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| listProductGetElement | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| listProductModifyElement | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| listProductPutElement | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| listProductShow | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| ListProductType | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| ListSum | Data.Type.Witness.Specific.List.Sum, Data.Type.Witness |
| listSumEq | Data.Type.Witness.Specific.List.Sum, Data.Type.Witness |
| listSumShow | Data.Type.Witness.Specific.List.Sum, Data.Type.Witness |
| ListSumType | Data.Type.Witness.Specific.List.Sum, Data.Type.Witness |
| ListType | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| listTypeFind | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| listTypeFor | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| listTypeForList | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| listTypeFor_ | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| listTypeFromFixedList | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| listTypeLength | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| listTypeLengthType | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| listTypeToFixedList | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| listTypeToList | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| listTypeToListM | Data.Type.Witness.Specific.List.List, Data.Type.Witness |
| Log2 | Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| lookUpListElement | Data.Type.Witness.Specific.List.Element, Data.Type.Witness |