[GHC] #15981: Implement the Linear Types proposal