Add foldr placeholder