Edward

In comment:23 of https://ghc.haskell.org/trac/ghc/ticket/11523 I claim that there is an infinite tower of superclasses, so that GHC can legitimately spin.

You have not responded for nearly a year.

Do you agree? 

Simon