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

[Jan Stolarek]

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.