Fix an nasty black hole, concerning computation of isRecursiveTyCon