|| | 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.Bool, Data.Promotion.Prelude.Bool, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar |