How would it resolve the differences in types without mangling?