La sintassi 'type X with .' è riservata agli aumenti. I tipi le cui rappresentazioni sono nascoste ma contenenti membri vengono ...