refined list.cases