A bit of work on split_list'_preserves_lists, but it seems to be going the wrong way.