;; [[a]] -> [[a]]
(define extend-all
  (lambda (l)
    (let* ((f (lambda (x) (length x)))
	   (n (maximum (map1 f l))))
      (map1 (lambda (e) (extend e n)) l))))