Possibility for binary operators to yield types different from their operands'.