type transformation test