This is a bit of a smell.  If we're going to have this we should call it reduce, and possibly rename areduce if that seems confusing as a consequence.