O(n m), Equivalent to a list foldl on the DescList representation, folding both over the keys and th eelements.
O(n m). Equivalent to a list foldl' on the toDescList representation, folding over both the keys and the elements.