Index - N
| Nat | Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| naturalToPeano | Data.PeanoNat, Data.Type.Witness |
| NaturalType | Data.Type.Witness.Specific.Natural, Data.Type.Witness |
| NilFixedList | Data.Type.Witness.Specific.FixedList, Data.Type.Witness |
| NilListType | Data.Type.Witness.Specific.List.List, Data.Type.Witness |