>>651
うん。 >>646 の結果が >>643 の入力として使えるのはわかるんだけど、
(pattern-extractor '(2 3 4) '(1 2 3))
=> ((a b c) (a b c))
となったとしても、
(match '(a b c) '(a b c) '(1 2 3))
=> ((a 1) (b 2) (c 3))
となって、 >>643 の手続きの入力としては問題ないよね？
それこそ、
(pattern-extractor 1 '((1 2) 3 ((4))))
みたいな場合でも、 #f じゃなくて ((a) a) という結果を返せる。
で、 >>646 が #f を返さないといけないのはどういう場合なのかなあ、と。