reduce extensionality of fdFold to a commutativity lemma about fold_right (on lists) and permutations (of lists)