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.