That's exactly what affine / linear types do.