{"base": {"value": "Set", "label": "Set"}, "monoids": {"value": "Mon", "label": "Mon"}}