[GHC] #11594: closed empty type families fully applied get reduced lazily when in a constraint tuple and fully applied

[GHC]

#11594: closed empty type families  fully applied get reduced lazily when in a
constraint tuple and fully applied
-------------------------------------+-------------------------------------
        Reporter:  carter            |                Owner:
            Type:  bug               |               Status:  new
        Priority:  normal            |            Milestone:  8.0.1
       Component:  Compiler (Type    |              Version:  7.10.2
  checker)                           |
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by goldfire):

 I'm a bit lost here. Can you give a small example that exhibits some
 behavior you disagree with and say what it is that's disagreeable? The
 range of examples above is helpful, but I'm not sure what's the signal and
 what's the noise.

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