Simon Peyton Jones authored Jun 19, 2020 and Marge Bot committed Jun 27, 2020

Andreas pointed out, in !3466, that my fix for #18304 was not
quite right.  This patch fixes it properly, by having just one
RecTcChecker rather than (implicitly) two nested ones, in
findTypeShape.