anchor.diff:           :type :mono
            pairs))
   
  +(pushnew 'pmono *patterns*)
  +
   ;;; pseq
   
   (defpattern pseq (pattern)
  
positive.code: (defmacro pf (&body body)
    "Convenience macro for `pfunc' that automatically wraps BODY in a lambda."
    `(pfunc (lambda () ,@body)))
  
  ;;; pr
  
  
negative.code:       (pdef pdef-name pattern))
      pattern))
  
  (pushnew 'pbind *patterns*)
  
  (setf (documentation 'pbind 'type) (documentation 'pbind 'function))
  
  (defmethod print-object ((pbind pbind) stream)
  