| S | Data.Parameterized.Peano | 
| Set | Data.Parameterized.Map | 
| shiftL | Data.Parameterized.Vector | 
| shiftR | Data.Parameterized.Vector | 
| ShowF | Data.Parameterized.Classes, Data.Parameterized, Data.Parameterized.Map | 
| showF | Data.Parameterized.Classes, Data.Parameterized, Data.Parameterized.Map | 
| ShowFC | Data.Parameterized.TraversableFC, Data.Parameterized | 
| showFC | Data.Parameterized.TraversableFC, Data.Parameterized | 
| showsF | Data.Parameterized.Classes, Data.Parameterized, Data.Parameterized.Map | 
| showsPrecF | Data.Parameterized.Classes, Data.Parameterized, Data.Parameterized.Map | 
| showsPrecFC | Data.Parameterized.TraversableFC, Data.Parameterized | 
| shuffle | Data.Parameterized.Vector | 
| signedClamp | Data.Parameterized.NatRepr, Data.Parameterized | 
| SingleCtx | Data.Parameterized.Ctx, Data.Parameterized.Context, Data.Parameterized | 
| singleton |  | 
| 1 (Function) | Data.Parameterized.Context | 
| 2 (Function) | Data.Parameterized.Map | 
| 3 (Function) | Data.Parameterized.Vector | 
| Size | Data.Parameterized.Context | 
| size |  | 
| 1 (Function) | Data.Parameterized.Context | 
| 2 (Function) | Data.Parameterized.Utils.BinTree, Data.Parameterized.Map | 
| size1 | Data.Parameterized.Context | 
| size2 | Data.Parameterized.Context | 
| size3 | Data.Parameterized.Context | 
| size4 | Data.Parameterized.Context | 
| size5 | Data.Parameterized.Context | 
| size6 | Data.Parameterized.Context | 
| sizeInt | Data.Parameterized.Context | 
| SizeView | Data.Parameterized.Context | 
| skipIndex | Data.Parameterized.Context | 
| slice | Data.Parameterized.Vector | 
| Snd | Data.Parameterized.DataKind | 
| snd | Data.Parameterized.DataKind | 
| sndPair | Data.Parameterized.Pair, Data.Parameterized | 
| snoc | Data.Parameterized.Vector | 
| Some |  | 
| 1 (Type/Class) | Data.Parameterized.Some, Data.Parameterized.NatRepr, Data.Parameterized.BoolRepr, Data.Parameterized.Peano, Data.Parameterized | 
| 2 (Data Constructor) | Data.Parameterized.Some, Data.Parameterized | 
| someBool | Data.Parameterized.BoolRepr | 
| someNat | Data.Parameterized.NatRepr, Data.Parameterized | 
| somePeano | Data.Parameterized.Peano | 
| someSymbol | Data.Parameterized.SymbolRepr, Data.Parameterized | 
| split | Data.Parameterized.Vector | 
| splitWith | Data.Parameterized.Vector | 
| splitWithA | Data.Parameterized.Vector | 
| SRepr | Data.Parameterized.Peano | 
| structuralEquality | Data.Parameterized.TH.GADT | 
| structuralHash | Data.Parameterized.TH.GADT | 
| structuralHashWithSalt | Data.Parameterized.TH.GADT | 
| structuralShowsPrec | Data.Parameterized.TH.GADT | 
| structuralTraversal | Data.Parameterized.TH.GADT | 
| structuralTypeEquality | Data.Parameterized.TH.GADT | 
| structuralTypeOrd | Data.Parameterized.TH.GADT | 
| subNat | Data.Parameterized.NatRepr, Data.Parameterized | 
| succP | Data.Parameterized.Peano | 
| Symbol | Data.Parameterized.SymbolRepr, Data.Parameterized | 
| SymbolRepr | Data.Parameterized.SymbolRepr, Data.Parameterized | 
| symbolRepr | Data.Parameterized.SymbolRepr, Data.Parameterized |