Index - I
| Id | Types.Base, Types |
| If | Types.Data.Bool, Types |
| IfT | Types.Data.Bool, Types |
| ifT | Types.Data.Bool, Types |
| IntegerR | Types.Data.Num.Ops, Types.Data.Num, Types |
| IntegerT | Types.Data.Num.Ops, Types.Data.Num, Types |
| IsEQ | Types.Data.Ord, Types |
| isEQT | Types.Data.Ord, Types |
| IsEven | Types.Data.Num.Ops, Types.Data.Num, Types |
| isEvenT | Types.Data.Num.Ops, Types.Data.Num, Types |
| IsGT | Types.Data.Ord, Types |
| isGTT | Types.Data.Ord, Types |
| IsLT | Types.Data.Ord, Types |
| isLTT | Types.Data.Ord, Types |
| IsNegative | Types.Data.Num.Ops, Types.Data.Num, Types |
| isNegativeT | Types.Data.Num.Ops, Types.Data.Num, Types |
| IsNull | Types.Data.List, Types |
| IsOdd | Types.Data.Num.Ops, Types.Data.Num, Types |
| isOddT | Types.Data.Num.Ops, Types.Data.Num, Types |
| IsPositive | Types.Data.Num.Ops, Types.Data.Num, Types |
| isPositiveT | Types.Data.Num.Ops, Types.Data.Num, Types |
| IsZero | Types.Data.Num.Ops, Types.Data.Num, Types |
| isZeroT | Types.Data.Num.Ops, Types.Data.Num, Types |