[ghc-steering-committee] Please Review: Scoped Type variables for existentials, Shepherd: Roman