Index - %
| %:&& | Data.Singletons.Bool, Data.Singletons.Prelude |
| %:++ | Data.Singletons.List, Data.Singletons.Prelude |
| %:/= | Data.Singletons.Eq, Data.Singletons.TH, Data.Singletons.Prelude |
| %:== | Data.Singletons.Eq, Data.Singletons.TH, Data.Singletons.Prelude |
| %:|| | Data.Singletons.Bool, Data.Singletons.Prelude |
| %~ | Data.Singletons.Decide, Data.Singletons.TH |