inequalities between dissimilar types