singletons-1.0: A framework for generating singleton types

Index - V

vacuousData.Singletons.Void
vacuousMData.Singletons.Void
VoidData.Singletons.Void, Data.Singletons.Decide, Data.Singletons.TH