a simpler interface to setoid fold.