Comment by agumonkey

I see. Is the unused eliminated automatically on a later stage in the case of an affine type ?