refine list.group
refine list.class
list.cases supports list-like cases