anonymous-sums-0.4.0.0: Anonymous sum types