ProfunctorFold
FoldImplicits
pipe
Fold