%:&& | 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 |