Re: [ghc-steering-committee] a plea for PolyKinds