Thank you - this clears stuff up. I see now how lifetimes provide a tool to solve a very important class of problems. I know Haskell is trying to get Linear Ty

Thank you - this clears stuff up. I see now how lifetimes provide a tool to solve a very important class of problems. I know Haskell is trying to get Linear Types for those purposes (with a paper + working ghc branch) but even those are going to take time to get nice imo.