By the way, unary and binary trees are probably the most minimal way to generate the whole computational universe