| Tail | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Tails | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| TailsSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| TailsSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| TailSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| TailSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Take | Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| TakeSym0 | Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| TakeSym1 | Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| TakeSym2 | Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| TakeWhile | Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| TakeWhileSym0 | Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| TakeWhileSym1 | Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| TakeWhileSym2 | Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| TestEquality | Data.Singletons.Types |
| testEquality | Data.Singletons.Types |
| ThenCmp | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.TH |
| thenCmp | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude |
| ThenCmpSym0 | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude |
| ThenCmpSym1 | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude |
| ThenCmpSym2 | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude |
| toSing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| Transpose | Data.Promotion.Prelude.List |
| TransposeSym0 | Data.Promotion.Prelude.List |
| TransposeSym1 | Data.Promotion.Prelude.List |
| TrueSym0 | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple0Sym0 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple2Sym0 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple2Sym1 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple2Sym2 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple3Sym0 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple3Sym1 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple3Sym2 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple3Sym3 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple4Sym0 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple4Sym1 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple4Sym2 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple4Sym3 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple4Sym4 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple5Sym0 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple5Sym1 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple5Sym2 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple5Sym3 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple5Sym4 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple5Sym5 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple6Sym0 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple6Sym1 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple6Sym2 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple6Sym3 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple6Sym4 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple6Sym5 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple6Sym6 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple7Sym0 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple7Sym1 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple7Sym2 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple7Sym3 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple7Sym4 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple7Sym5 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple7Sym6 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple7Sym7 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| TyCon1 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| TyCon2 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| TyCon3 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| TyCon4 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| TyCon5 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| TyCon6 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| TyCon7 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| TyFun | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.TH |