& | Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function |
&& | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
&&@#@$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar |
&&@#@$$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar |
&&@#@$$$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar |
&@#@$ | Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function |
&@#@$$ | Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function |
&@#@$$$ | Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function |