| :!! | |
| 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 |
| :!!$ | |
| 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 |
| :!!$$ | |
| 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 |
| :!!$$$ | |
| 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 |
| :$ | 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.List.NonEmpty |
| :& | Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function |
| :&$ | Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function |
| :&$$ | Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function |
| :&$$$ | Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function |
| :&& | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| :&&$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| :&&$$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| :&&$$$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| :* | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :*$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :*$$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :*$$$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :+ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :+$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :+$$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :+$$$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, 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.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| :- | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :-$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :-$$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :-$$$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :. | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :.$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :.$$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :.$$$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :.$$$$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base |
| :/= | Data.Singletons.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| :/=$ | Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| :/=$$ | Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| :/=$$$ | Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| :< | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude.Ord, 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.Singletons.TH, Data.Promotion.Prelude.Ord, 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.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| :<|$ | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| :<|$$ | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| :<|$$$ | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| :== | Data.Singletons.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| :==$ | Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| :==$$ | Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| :==$$$ | Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| :> | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude.Ord, 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.Singletons.TH, Data.Promotion.Prelude.Ord, 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.Singletons.TypeLits, Data.Promotion.Prelude |
| :^$$ | Data.Singletons.TypeLits, Data.Promotion.Prelude |
| :^$$$ | Data.Singletons.TypeLits |
| :|$ | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| :|$$ | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| :|$$$ | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| :|| | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| :||$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| :||$$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| :||$$$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| :~: | Data.Singletons.Decide, Data.Singletons.TH |