which -> type (used only in diagnostic output)