David
Any views about https://ghc.haskell.org/trac/ghc/ticket/8827?
We propose to remove the recursive check (see the ticket for what that means).
Simon