TY - RPRT TI - Monoid Structures on Indexed Containers AU - Michele De Pascalis AU - Tarmo Uustalu AU - Niccolò Veltrì PY - 2025 DO - 10.4204/eptcs.430.4 UR - https://arxiv.org/abs/2509.25879 ID - 2509.25879 ER -