[GHC] #10832: Generalize injective type families

[GHC]

#10832: Generalize injective type families
-------------------------------------+-------------------------------------
        Reporter:  jstolarek         |                Owner:  jstolarek
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler (Type    |              Version:  7.11
  checker)                           |
      Resolution:                    |             Keywords:  TypeFamilies
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:  #6018             |  Differential Rev(s):  Phab:D1287
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by jstolarek):

 Carter, can you upload a self-contained piece of code? When we were
 working on injective type families we had a really hard time finding real-
 world examples where injectivity was necessary. Many people in the past
 claimed that they needed it but when we finally had the feature
 implemented few people could remember their use cases from the past.

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10832#comment:7>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler