Index - :
| :* | |
| 1 (Type/Class) | Data.TypeLevel.Num.Reps, Data.TypeLevel.Num, Data.TypeLevel |
| 2 (Data Constructor) | Data.TypeLevel.Num.Reps, Data.TypeLevel.Num, Data.TypeLevel |
| :<: | Data.TypeLevel.Num.Ops, Data.TypeLevel.Num, Data.TypeLevel |
| :<=: | Data.TypeLevel.Num.Ops, Data.TypeLevel.Num, Data.TypeLevel |
| :==: | Data.TypeLevel.Num.Ops, Data.TypeLevel.Num, Data.TypeLevel |
| :>: | Data.TypeLevel.Num.Ops, Data.TypeLevel.Num, Data.TypeLevel |
| :>=: | Data.TypeLevel.Num.Ops, Data.TypeLevel.Num, Data.TypeLevel |