Trac #11554 fix loopy GADTs