| Nat | Data.Singletons.TypeLits |
| natVal | Data.Singletons.TypeLits |
| Negate | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| NegateSym0 | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| NegateSym1 | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| NilSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| NonEmpty_ | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| NonEmpty_Sym0 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| NonEmpty_Sym1 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Not | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| NotElem | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| NotElemSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| NotElemSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| NotElemSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| NothingSym0 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe, Data.Promotion.Prelude, Data.Singletons.Prelude |
| NotSym0 | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| NotSym1 | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| Nub | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| NubBy | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| NubBySym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| NubBySym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| NubBySym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| NubSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| NubSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Null | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| NullSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| NullSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |