Re: [ghc-steering-committee] Please review again #177: Simple constrained type families, Shepherd: Richard