refined list.mapv
refined list.order, list.sort