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

Index - Z

zipSigmaData.Singletons.Sigma