`structuredTypeRelatedTo` is confusing within a variance check - it would probably make more sense to just pretty-print the type being variance checked.
structuredTypeRelatedTois confusing within a variance check - it would probably make more sense to just pretty-print the type being variance checked.