[ghc-steering-committee] Re: GHC proposal: specification of static