fixed arity of fun in fold