type_list::filter