| Partition | Data.Promotion.Prelude.List |
| PartitionEithers | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either |
| PartitionSym0 | Data.Promotion.Prelude.List |
| PartitionSym1 | Data.Promotion.Prelude.List |
| PartitionSym2 | Data.Promotion.Prelude.List |
| PBounded | Data.Promotion.Prelude.Bounded, Data.Promotion.Prelude |
| PEq | Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Permutations | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| PermutationsSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| PermutationsSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| POrd | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Product | Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ProductSym0 | Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ProductSym1 | Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| promote | Data.Singletons.TH, Data.Promotion.TH |
| promoteBoundedInstance | Data.Singletons.TH, Data.Promotion.TH |
| promoteBoundedInstances | Data.Singletons.TH, Data.Promotion.TH |
| promoteEqInstance | Data.Singletons.TH, Data.Promotion.TH |
| promoteEqInstances | Data.Singletons.TH, Data.Promotion.TH |
| promoteOnly | Data.Singletons.TH, Data.Promotion.TH |
| promoteOrdInstance | Data.Singletons.TH, Data.Promotion.TH |
| promoteOrdInstances | Data.Singletons.TH, Data.Promotion.TH |
| Proved | Data.Singletons.Decide, Data.Singletons.TH |
| Proxy | |
| 1 (Data Constructor) | Data.Singletons.Types, Data.Singletons.TH, Data.Promotion.TH |
| 2 (Type/Class) | Data.Singletons.Types, Data.Singletons.TH, Data.Promotion.TH |