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

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