+ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
++ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
++@#@$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
++@#@$$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
++@#@$$$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude.Base |
+@#@$ | 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 |