Folds are trivially profunctors