there are more interesting recursion schemes to traverse and aggregate with, but they are intricate to express without a powerful language and confuse small min

there are more interesting recursion schemes to traverse and aggregate with, but they are intricate to express without a powerful language and confuse small minds so aren’t worth often using. QI(I)Ts let you simultaneously declare how you witness and not just how you construct. https://github.com/passy/awesome-recursion-schemes https://github.com/passy/awesome-recursion-schemes