But to honor the problems intent, perhaps only identical types are indistinct — but since values are different, they are not. - Sourci