singletons-base-3.1: A promoted and singled version of the base library

Index - +

+Prelude.Singletons
++Data.List.Singletons, Prelude.Singletons
++@#@$Data.List.Singletons, Prelude.Singletons
++@#@$$Data.List.Singletons, Prelude.Singletons
++@#@$$$Data.List.Singletons, Prelude.Singletons
+@#@$Prelude.Singletons
+@#@$$Prelude.Singletons
+@#@$$$Prelude.Singletons