abstract refinements work for lists!