Re: [ghc-steering-committee] Quantified Constraints (#109). Recommendation: accept