[ghc-steering-committee] Proposal #111: Linear Types