Fixed map in terms of fold