it can patch a non-trivial list to the trivial list