[GHC] #11534: Allow class associated types to reference functional dependencies

[GHC]

#11534: Allow class associated types to reference functional dependencies
-------------------------------------+-------------------------------------
        Reporter:  ekmett            |                Owner:
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Compiler (Type    |              Version:  7.10.3
  checker)                           |             Keywords:  TypeFamilies,
      Resolution:                    |  FunctionalDependencies
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  Other             |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonpj):

 No, there is no secret type function behind the scenes.  Functional
 dependencies ONLY cause extra unification to take place.

 One could imagine something more ambitious but it is not designed or
 implemented.

 What repetition?

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