anonymous-sums-0.2.2.0: Anonymous sum types