(define-primitive-class <list-ParameterDefinition> ()
  (lambda (x)
    (and (instance-of? x <list>)
         (every (lambda (x) (instance-of? x <ParameterDefinition>)) x))))