Index - I
| I | |
| 1 (Type/Class) | Data.SOP.BasicFunctors, Data.SOP | 
| 2 (Data Constructor) | Data.SOP.BasicFunctors, Data.SOP | 
| index_NS | Data.SOP.NS | 
| index_SOP | Data.SOP.NS | 
| Injection | Data.SOP.NS, Data.SOP | 
| injections | Data.SOP.NS, Data.SOP | 
Index - I
| I | |
| 1 (Type/Class) | Data.SOP.BasicFunctors, Data.SOP | 
| 2 (Data Constructor) | Data.SOP.BasicFunctors, Data.SOP | 
| index_NS | Data.SOP.NS | 
| index_SOP | Data.SOP.NS | 
| Injection | Data.SOP.NS, Data.SOP | 
| injections | Data.SOP.NS, Data.SOP |