Z | |
1 (Data Constructor) | Data.Category.Discrete |
2 (Type/Class) | Data.Category.Discrete |
3 (Data Constructor) | Data.Category.Omega |
4 (Type/Class) | Data.Category.Omega |
5 (Data Constructor) | Data.Category.Dialg |
6 (Data Constructor) | Data.Category.Peano |
Z2S | Data.Category.Omega |
Zero | Data.Category.Limit |