typereduction
