Re: [Haskell-cafe] Injective type families for GHC - syntax proposals

A follow up on flicky frans' proposal: we already allow introducing type variables to name a type family result, so this new syntax should be a straightforward addition.