Index - S
| second | Control.Functor | 
| second' | Control.Functor | 
| sequenceW | Control.Comonad, Control.Comonad.Context, Control.Comonad.Pointer, Control.Comonad.Supply | 
| shift | Control.Monad.Indexed.Cont | 
| snd | Control.Category.Cartesian | 
| Span | |
| 1 (Type/Class) | Control.Morphism.Span | 
| 2 (Data Constructor) | Control.Morphism.Span | 
| split | Control.Comonad.Supply | 
| split2 | Control.Comonad.Supply | 
| split3 | Control.Comonad.Supply | 
| split4 | Control.Comonad.Supply | 
| Stream | Control.Comonad.Stream | 
| strength | Control.Functor.Strong | 
| Supply | Control.Comonad.Supply | 
| supplyLeft | Control.Comonad.Supply | 
| supplyRight | Control.Comonad.Supply | 
| supplyValue | Control.Comonad.Supply | 
| swap | Control.Category.Braided, Control.Category.Monoidal, Control.Category.Cartesian | 
| Symmetric | Control.Category.Braided, Control.Category.Monoidal, Control.Category.Cartesian | 
| synchro | Control.Morphism.Synchro |