Re: [ghc-steering-committee] Please review #518: Type vs Constraint proposal, Shepherd: Eric