:!! | 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.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
:*$ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
:*$$ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
:*$$$ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
:+ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
:+$ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
:+$$ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
:+$$$ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, 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.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
:-$ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
:-$$ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
:-$$$ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, 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.Base, Data.Promotion.Prelude.Base |
:/= | 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.Singletons.TypeLits, Data.Promotion.Prelude |
:^$$ | Data.Singletons.TypeLits, Data.Promotion.Prelude |
:^$$$ | Data.Singletons.TypeLits |
:|| | 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.Decide, Data.Singletons.TH |