Refined usage of type_transformer