They are. Abstractions like functors makes the language more similar to other structured languages. Otherwise, the same would've needed explicit recursion all o

They are. Abstractions like functors makes the language more similar to other structured languages. Otherwise, the same would've needed explicit recursion all over the place, which is more error-prone.