Index - I
| identityListProduct | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| indexListElementType | Data.Type.Witness.Specific.List.Element, Data.Type.Witness |
| injectiveListProduct | Data.Type.Witness.Specific.List.Product, Data.Type.Witness |
| injectiveListSum | Data.Type.Witness.Specific.List.Sum, Data.Type.Witness |
| inner | Data.Type.Witness |
| Is | Data.Type.Witness.General.Representative, Data.Type.Witness |
| isWitnessRepresentative | Data.Type.Witness.General.Representative, Data.Type.Witness |