Index - Z
| Z | |
| 1 (Data Constructor) | Data.Category.Dialg |
| 2 (Data Constructor) | Data.Category.NNO |
| 3 (Data Constructor) | Data.Category.Simplex |
| 4 (Type/Class) | Data.Category.Simplex |
| 5 (Data Constructor) | Data.Category.Cube |
| 6 (Type/Class) | Data.Category.Cube |
| Zero | Data.Category.Limit |
| zero | Data.Category.NNO |