singletons-th-3.0: A framework for generating singleton types

Index - Z

zipSigmaData.Singletons.Sigma