map via foldr

-- map via foldr
mapFoldR :: (a -> b) -> [a] -> [b]
mapFoldR f xs = foldr (\x y -> (f x):y) [] xs

-- tests
test_mapFoldR = (map f xs) == (mapFoldR f xs)
  where f x = x + 1
        xs = [1..10]