foldr' f p xs =
  mapReduce
  (\xs -> head xs)
  (\xs -> tail xs)
  (\xs -> null xs)
  (\xs -> p)
  (f)
  xs