(every #'pat-match '(a b c) '(a b c)) ; => T (every #'pat-match '(a b c) '(a)) ; => T (every #'pat-match '(a b . c) '(a b . c)) ; => The value C is not of type (OR CONS NULL (MOD 536870909)). ;; [Condition of type TYPE-ERROR]