コード全体が冗長になっていました。元はこのように定義していました。Tree(value)}しかし、実際は次のような定義で事足りることが判明。この変更を反映して(それにともない発生した変更個所を修正したあと)次のコードを実行してみる。Tree.Leaf(emptyTreeValue)}showTree(rootTree)実行。</doc>---うまくいきました。対処できることを確認。</doc>---意図通り作動しているようです。