I thought that = was ~ for expanded types, thus it cannot compare different types.