GHC proposal for Linear Types | Dark Hacker News