- | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
-@#@$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
-@#@$$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
-@#@$$$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |