得られる木のリストは要素が一つだけであり、木自身も葉が一枚なので、再帰的な定義を考える上で少しイメージがつかみにくい。得られる木のリストを元に作られる。上の絵の赤い線で囲った葉の部分に、それぞれニョキニョキと枝をつけた木のリストが得られればよい。関数全体の形が、次のように想像できる。「関数X」の中身が何かわからないけれど、とりあえず格好だけ整える。よってできる木の要素の一つを表わす。その一つの木に対して、更に各々の葉から枝を伸ばした木を生成する。