検索の方は簡単なので適当に実装して下さい。xさて、ひとまずデータを入れて検索するところまでいけました。Leaf関数ではなく値です。値として定義して使いまわしても何も問題がありません。REPLで試してみて下さい。束縛を作れるのでそれを使うと良いでしょう。Boolテスト機能するものができたので自動テストをしてみましょう。3個の例を試して正しく動くか試す、ソフトウェアの品質検査法です。3個の例を試して正しい、などと書いたら正解になりませんが、明らかな誤りを見つけるにはこれでも効果はあります。