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

Index - \

\\Data.List.Singletons
\\@#@$Data.List.Singletons
\\@#@$$Data.List.Singletons
\\@#@$$$Data.List.Singletons