Compacted types for easyer copy-wasting