In practice I feel like recursion isn't actually used that much in functional languages. Most things can be expressed as maps, flatmaps, folds, etc