. . . "And it should not care what type it holds, in reality, as long as that type is an object." .