What a simple world it would be, if only it were not for Weakening and Contraction!
https://homepages.inf.ed.ac.uk/wadler/papers/linearuse/linearuse.ps