@hackage / enum-subset-generate

Generate an ADT being a subset of another ADT, and the corresponding mappings.