Possible explanations for an operation hanging indefinitely with a redundant constraint?
During a GHC upgrade we noticed one particular test case seemed to just hang forever (at runtime, not compile time). In searching for a looping bottom value lurking somewhere I found a startling fact, while simplifying an instance declaration: