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