| :!! | Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| :!!$ | Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| :!!$$ | Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| :!!$$$ | Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| :$ | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| :$$ | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| :$$$ | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| :&& | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| :&&$ | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :&&$$ | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :&&$$$ | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :* | Data.Singletons.TypeLits, Data.Promotion.Prelude |
| :*$ | Data.Singletons.TypeLits, Data.Promotion.Prelude |
| :*$$ | Data.Singletons.TypeLits, Data.Promotion.Prelude |
| :+ | Data.Singletons.TypeLits, Data.Promotion.Prelude |
| :+$ | Data.Singletons.TypeLits, Data.Promotion.Prelude |
| :+$$ | Data.Singletons.TypeLits, Data.Promotion.Prelude |
| :++ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| :++$ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| :++$$ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| :- | Data.Singletons.TypeLits, Data.Promotion.Prelude |
| :-$ | Data.Singletons.TypeLits, Data.Promotion.Prelude |
| :-$$ | Data.Singletons.TypeLits, Data.Promotion.Prelude |
| :. | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :.$ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :.$$ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :.$$$ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :/= | Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| :/=$ | Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :/=$$ | Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :/=$$$ | Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :< | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| :<$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :<$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :<$$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :<= | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| :<=$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :<=$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :<=$$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :== | Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| :==$ | Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :==$$ | Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :==$$$ | Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :> | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| :>$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :>$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :>$$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :>= | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| :>=$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :>=$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :>=$$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :\\ | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| :\\$ | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| :\\$$ | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| :\\$$$ | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| :^ | Data.Singletons.TypeLits, Data.Promotion.Prelude |
| :^$ | Data.Singletons.TypeLits, Data.Promotion.Prelude |
| :^$$ | Data.Singletons.TypeLits, Data.Promotion.Prelude |
| :|| | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :||$ | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :||$$ | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :||$$$ | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :~: | Data.Singletons.Types, Data.Singletons.Decide, Data.Singletons.TH |