this is reminiscent of https://en.wikipedia.org/wiki/Combinatorial_species https://en.wikipedia.org/wiki/Combinatorial_species but I'll have to reflect on it a

this is reminiscent of https://en.wikipedia.org/wiki/Combinatorial_species https://en.wikipedia.org/wiki/Combinatorial_species but I'll have to reflect on it a bit...