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