Modules

• Data.Promotion.Prelude
• Data.Promotion.Prelude.Base
• Data.Promotion.Prelude.Bool
• Data.Promotion.Prelude.Bounded
• Data.Promotion.Prelude.Either
• Data.Promotion.Prelude.Eq
• Data.Promotion.Prelude.List
• Data.Promotion.Prelude.Maybe
• Data.Promotion.Prelude.Ord
• Data.Promotion.Prelude.Tuple
• Data.Promotion.TH
• Data.Singletons
• Data.Singletons.CustomStar
• Data.Singletons.Decide
• Data.Singletons.Prelude
• Data.Singletons.Prelude.Base
• Data.Singletons.Prelude.Bool
• Data.Singletons.Prelude.Either
• Data.Singletons.Prelude.Eq
• Data.Singletons.Prelude.List
• Data.Singletons.Prelude.Maybe
• Data.Singletons.Prelude.Ord
• Data.Singletons.Prelude.Tuple
• Data.Singletons.SuppressUnusedWarnings
• Data.Singletons.TH
• Data.Singletons.TypeLits
• Data.Singletons.TypeRepStar
• Data.Singletons.Types
• Data.Singletons.Void