Re: [ghc-steering-committee] What do we need from the linear-types proposal?