あ、
(pattern-extractor 1 1) => ((a) a)
(pattern-extractor 1 2) => #f
になるか。
まあ関数仕様は細かく定義してないから
どうでもいいけど。