[GHC] #6018: Injective type families

[GHC]

#6018: Injective type families
-------------------------------------+-------------------------------------
              Reporter:  lunaris     |            Owner:  jstolarek
                  Type:  feature     |           Status:  new
  request                            |        Milestone:  7.10.1
              Priority:  normal      |          Version:  7.4.1
             Component:  Compiler    |         Keywords:  TypeFamilies,
            Resolution:              |  Injective
      Operating System:              |     Architecture:  Unknown/Multiple
  Unknown/Multiple                   |       Difficulty:  Unknown
       Type of failure:              |       Blocked By:
  None/Unknown                       |  Related Tickets:  #4259
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------

Comment (by danilo2):

 @jstolarek: Yes, I've got an example here - by the way, I would be very
 thankful if you look at it, because I'm scratching my head against it for
 over two days now and cannot solve it in any way. But this problem is very
 specific one - you can read detailed description and solutions attemps
 here: http://stackoverflow.com/questions/25854072/injective-type-families-
 in-haskell

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