Huh, that's a tough question! I've certainly run into the non-injectivity issue quite a few times, but it's hard to remember a single specific case. You may want to look at the uses of data families. In my experience, a programmer would often (almost always?) prefer a type family, but has to resort to a data family when s/he runs into non-injectivity. Is your design described anywhere? On 09/02/15 17:58, Jan Stolarek wrote:
Haskellers,
I am finishing work on adding injective type families to GHC. I know that in the past many people have asked for this feature. If you have use cases for injective type families I would appreciate if you could show them to me. My implementation has some restrictions and I want to see how severe these restrictions are from a practical point of view.
Janek
--- Politechnika Łódzka
Treść tej wiadomości zawiera informacje przeznaczone tylko dla adresata. Jeżeli nie jesteście Państwo jej adresatem, bądź otrzymaliście ją przez pomyłkę prosimy o powiadomienie o tym nadawcy oraz trwałe jej usunięcie. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe