パターンメモ () 空リスト x アトム xs リスト :: cons l1 l2 result 1 () () #t 2 () x::xs #f 3 () xs::xs #f 4 x::xs () #f 5 x::xs x::xs eqan? && eqlist? 6 x::xs xs::xs #f 7 xs::xs () #f 8 xs::xs x::xs #f 9 xs::xs xs::xs eqlist? && eqlist