Не уверен, что понял, что вы хотели сказать. В том смысле, что если имеется множество типов на входе, и мы преобразовываем его во множество типов на выходе, мы можем сказать, что для этого функция пробегает по всем типам, сопоставляя типу на входе тип на выходе?