[Haskell-cafe] Why does this result in a runtime loop instead of a type error or typechecker loop?

[Emil Axelsson]

Den 2018-07-26 kl. 01:02, skrev Anthony Clayden:
> 
> On Tue, Jul 24, 2018 at 5:52 AM,Ryan Reich wrote:
>  > This seems like the canonical illustration of the dangers of 
> UndecidableInstances.
> 
> No I don't buy that explanation. The worst UndecidableInstances can do 
> is send the type checker into a loop.

I used to have a counter-example to that claim:

https://mail.haskell.org/pipermail/haskell-cafe/2010-January/072357.html

That example was causing looping dictionaries at run time on GHC 6.10. 
But now, on GHC 8.2, the program terminates. But one wonders if there 
are other ways to create looping dictionaries?

/ Emil