Index - N
| NA | Generics.MRSOP.Base.Universe, Generics.MRSOP.Base |
| Name | Generics.MRSOP.Base.Metadata, Generics.MRSOP.Base |
| Nat | Generics.MRSOP.Util, Generics.MRSOP.Base |
| NA_I | Generics.MRSOP.Base.Universe, Generics.MRSOP.Base |
| NA_K | Generics.MRSOP.Base.Universe, Generics.MRSOP.Base |
| New | Generics.MRSOP.Base.Metadata, Generics.MRSOP.Base |
| next | Generics.MRSOP.Zipper |
| Nil | |
| 1 (Data Constructor) | Generics.MRSOP.Util, Generics.MRSOP.Base |
| 2 (Data Constructor) | Generics.MRSOP.Zipper |
| 3 (Data Constructor) | Generics.MRSOP.Zipper.Deep |
| normalize | |
| 1 (Function) | Generics.MRSOP.Examples.RoseTreeTH |
| 2 (Function) | Generics.MRSOP.Examples.RoseTree |
| NotAssociative | Generics.MRSOP.Base.Metadata, Generics.MRSOP.Base |
| NP | Generics.MRSOP.Base.NP, Generics.MRSOP.Base |
| NP0 | Generics.MRSOP.Base.NP, Generics.MRSOP.Base |
| NPHole | |
| 1 (Type/Class) | Generics.MRSOP.Zipper |
| 2 (Type/Class) | Generics.MRSOP.Zipper.Deep |
| NPHoleE | Generics.MRSOP.Zipper |
| NS | Generics.MRSOP.Base.NS, Generics.MRSOP.Base |