list_difference is not a Difference instance, map_difference is — what are the container laws?
Might be hard to action, but stdpp seems to lack a coherent story around container classes: see also discussion on https://mattermost.mpi-sws.org/iris/pl/oyawuqqwpb8bjedtxgbfchmwae.