Index - N
| Newtype | |
| 1 (Data Constructor) | Generics.SOP.Metadata, Generics.SOP | 
| 2 (Data Constructor) | Generics.SOP.Type.Metadata | 
| newtypeFrom | Generics.SOP.Universe | 
| newtypeTo | Generics.SOP.Universe | 
| Nil | Generics.SOP.NP, Generics.SOP | 
| NotAssociative | Generics.SOP.Metadata, Generics.SOP.Type.Metadata, Generics.SOP | 
| NP | Generics.SOP.NP, Generics.SOP | 
| NS | Generics.SOP.NS, Generics.SOP |