api: type_list