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

[Jan Stolarek]

>    type family Plus a b = r :: Nat | r a -> b, r b -> a where
Identical proposal was also made on GHC Trac and at the moment it looks likely that we'll go with 
that.

Janek