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