Don't we need to check if they are both StructTypes in case one side needs to be resolved?