[GHC] #11220: Stack overflow instead of type check failure in Servant route

[GHC]

#11220: Stack overflow instead of type check failure in Servant route
-------------------------------------+-------------------------------------
        Reporter:  sopvop            |                Owner:
            Type:  bug               |               Status:  new
        Priority:  high              |            Milestone:  8.0.1
       Component:  Compiler (Type    |              Version:  7.10.3
  checker)                           |
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Compile-time      |  Unknown/Multiple
  crash                              |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by goldfire):

 The new error is actually somewhat informative. I don't have the
 definitions of `IsSubList` and `And` to hand (though they're easy to
 imagine). Could they loop? If they are the simple definitions I imagine,
 this is indeed a GHC bug. If they reasonably can loop, on the other hand,
 then this error message might be acceptable. Need feedback from the
 original poster, and a test case that doesn't depend on all of `servant`
 would be great. (Just inline the definitions into this module?)

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