(matches? '(_ b _) '(a b c)) ⇒ #t (matches? '(_ x _) '(a b c)) ⇒ #f (matches? '(a (b c) d) '(a c d)) ⇒ #t (matches? '(a (b c) d) '(a e d)) ⇒