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

19 Sep 2014


      Sorry.

   type family Plus a b = r :: Nat | r a -> b, r b -> a where

flicky frans