| SameLength | Data.Diverse.TypeLevel, Data.Diverse |
| SameLengthImpl | Data.Diverse.TypeLevel.Internal |
| Select | Data.Diverse.Many.Internal, Data.Diverse.Many, Data.Diverse |
| select | Data.Diverse.Many.Internal, Data.Diverse.Many, Data.Diverse |
| selectL | Data.Diverse.Many.Internal, Data.Diverse.Many, Data.Diverse |
| SelectN | Data.Diverse.Many.Internal, Data.Diverse.Many, Data.Diverse |
| selectN | Data.Diverse.Many.Internal, Data.Diverse.Many, Data.Diverse |
| single | Data.Diverse.Many.Internal, Data.Diverse.Many, Data.Diverse |
| SnocUnique | Data.Diverse.TypeLevel, Data.Diverse |
| Switch | Data.Diverse.Which.Internal, Data.Diverse.Which, Data.Diverse |
| switch | Data.Diverse.Which.Internal, Data.Diverse.Which, Data.Diverse |
| Switcher | |
| 1 (Type/Class) | Data.Diverse.Which.Internal, Data.Diverse.Which, Data.Diverse |
| 2 (Data Constructor) | Data.Diverse.Which.Internal, Data.Diverse.Which, Data.Diverse |
| SwitcherN | |
| 1 (Type/Class) | Data.Diverse.Which.Internal, Data.Diverse.Which, Data.Diverse |
| 2 (Data Constructor) | Data.Diverse.Which.Internal, Data.Diverse.Which, Data.Diverse |
| SwitchN | Data.Diverse.Which.Internal, Data.Diverse.Which, Data.Diverse |
| switchN | Data.Diverse.Which.Internal, Data.Diverse.Which, Data.Diverse |