Dominant types: Even if the type is compatible with other types, one type must be defined as dominant and be preferred when the compiler needs to resolve compile-time ambiguities regarding data conversion between the two languages. These types are referred to as dominant types.