Amateur question: how are linear types in &quot;practice&quot;? How much of concurrency do they solve? And how are they different from modern HM types?<p>Sorry for being vague. I&#x27;m interested in this subject but layman materials on it are hard to come by.