Re: [ghc-steering-committee] Array resizing primitives (#121), proposal: accept with modifications