to be of the same type