| S | Generics.SOP.NS, Generics.SOP |
| Same | Generics.SOP.Classes |
| SameShapeAs | Generics.SOP.Constraint, Generics.SOP |
| SCons | Generics.SOP.Sing, Generics.SOP |
| sequence'_NP | Generics.SOP.NP |
| sequence'_NS | Generics.SOP.NS |
| sequence'_POP | Generics.SOP.NP |
| sequence'_SOP | Generics.SOP.NS |
| sequence_NP | Generics.SOP.NP |
| sequence_NS | Generics.SOP.NS |
| sequence_POP | Generics.SOP.NP |
| sequence_SOP | Generics.SOP.NS |
| Shape | Generics.SOP.Sing, Generics.SOP |
| shape | Generics.SOP.Sing, Generics.SOP |
| ShapeCons | Generics.SOP.Sing, Generics.SOP |
| ShapeNil | Generics.SOP.Sing, Generics.SOP |
| shift | Generics.SOP.NS, Generics.SOP |
| shiftInjection | Generics.SOP.NS, Generics.SOP |
| shiftProjection | Generics.SOP.NP, Generics.SOP |
| Sing | Generics.SOP.Sing, Generics.SOP |
| sing | Generics.SOP.Sing, Generics.SOP |
| SingI | Generics.SOP.Sing, Generics.SOP |
| SList | Generics.SOP.Sing, Generics.SOP |
| sList | Generics.SOP.Sing, Generics.SOP |
| SListI | Generics.SOP.Sing, Generics.SOP |
| SListI2 | Generics.SOP.Constraint, Generics.SOP |
| SListIN | Generics.SOP.Constraint |
| SNil | Generics.SOP.Sing, Generics.SOP |
| SOP | |
| 1 (Type/Class) | Generics.SOP.NS, Generics.SOP |
| 2 (Data Constructor) | Generics.SOP.NS, Generics.SOP |