type to destination_type