example from docs defines MDistributive module twice (and MDistributeLists not at all)

[pnkfelix]

Another bogosity in dracula docs:

The module MDistributeLists provides an implementation of IDistributeLists for any implementation of IDistributive:

  (module MDistributive
    (import IAssociative (addop a))
    (import ICommutative (addop a))
    (import IDistributive (addop a) (mulop m))
    (defun add (xs)
      (if (endp (cdr xs))
          (car xs)
          (a (car xs) (add (cdr xs)))))
    (defun mul (x ys)
      (if (endp xs)
          nil
          (cons (m x (car ys)) (mul x (cdr ys)))))
    (export IDistributeLists (addall add) (mulall mul)))