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

flicky frans flickyfrans at gmail.com
Thu Sep 18 20:17:49 UTC 2014


Sorry.

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


More information about the Haskell-Cafe mailing list