I a way that you define recursive data structure a...
# arrow
t
I a way that you define recursive data structure and then interpret that via fold, don’t you?