Installation foldr renamed