Declare Fields with Nested Records of types defined in same Splice about lens

[RyanGlScott]

I agree that this is unfortunate. I believe the reason this happens is because we use reify here to check if a field contains type families:

lens/src/Control/Lens/Internal/FieldTH.hs

Lines 434 to 437 in edc1465

	containsTypeFamilies = go <=< D.resolveTypeSynonyms
	where
	go (ConT nm) = has (_FamilyI . _1 . _TypeFamilyD) <$> reify nm
	go ty = or <$> traverse go (ty ^.. plate)

If we attempt to reify a field that hasn't been declared yet (e.g., B), then the error message above is the result. But we needn't fail here: we could just as well use recover to catch the reification failure and then conservatively assume that the type doesn't contain type families, which is a reasonable assumption most of the time.