superType of equal types is either type