| Last | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| LastSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| LastSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Lefts | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either |
| LeftsSym0 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either |
| LeftsSym1 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either |
| LeftSym0 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Promotion.Prelude, Data.Singletons.Prelude |
| LeftSym1 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Length | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| LengthSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| LengthSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ListToMaybe | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| ListToMaybeSym0 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| ListToMaybeSym1 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| Log2 | Data.Singletons.TypeLits |
| Log2Sym0 | Data.Singletons.TypeLits |
| Log2Sym1 | Data.Singletons.TypeLits |
| Lookup | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| LookupSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| LookupSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| LookupSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| LTSym0 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |