+ -- Omit the check that the fields have consistent types if
+ -- the group is recursive; TcTyClsDecls.tcGroup will repeat
+ -- with NonRecursive once we have tied the knot
+ | isRec is_rec = returnTc sel_ids
+ | otherwise = mapTc check groups `thenTc_`
+ returnTc sel_ids