[GHC] #14338: Simplifier fails with "Simplifier ticks exhausted"

[GHC]

#14338: Simplifier fails with "Simplifier ticks exhausted"
-------------------------------------+-------------------------------------
        Reporter:  dredozubov        |                Owner:  bgamari
            Type:  bug               |               Status:  new
        Priority:  high              |            Milestone:  8.4.1
       Component:  Compiler          |              Version:  8.2.1
      Resolution:                    |             Keywords:
Operating System:  Linux             |         Architecture:  x86_64
 Type of failure:  Compile-time      |  (amd64)
  crash or panic                     |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by dredozubov):

 I've seen quite a lot `HModify` and `HGet` popping up in a core dump, but
 haven't realized it's linked to coercions. The comments above supports my
 experience with this piece of code and the issue. The issue definitely
 arises when increasing the length of a type-level list `AppPayload` in
 this case. In the context of a larger project, it was pretty difficult to
 pinpoint, an additional servant endpoint can trigger it for example.

 Do I understand correctly that you're referring to the idea of dropping
 explicit coercions for compilation without `-dcore-lint`?

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