+ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Singletons.Prelude |
++ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude |
++@#@$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude |
++@#@$$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude |
++@#@$$$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List |
+@#@$ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude |
+@#@$$ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude |
+@#@$$$ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude |