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