Index - S
| S | |
| 1 (Type/Class) | Data.Category.Discrete |
| 2 (Data Constructor) | Data.Category.Discrete |
| 3 (Type/Class) | Data.Category.Omega |
| 4 (Data Constructor) | Data.Category.Dialg |
| 5 (Data Constructor) | Data.Category.Peano |
| Snd | Data.Category.Pair |
| src | Data.Category |
| StepS | Data.Category.Discrete |
| StS | Data.Category.Omega |