再帰かループを使えば、2つのリストの一致を調べられるだろうとおもったけど。
そうでなく、再帰もループも使わずに、特別なループ処理(fold、unfold)で代替可能か?ということか。