doubleFold
FoldImplicits