As you most likely realize, f base needs to equal the identity function. After that, it looks like t is your iterator and g is the function you want to fold. It looks like f is an iterator-friendly fold function.