(define make-matrix ; TYPE: all T . T -> (natural, natural -> (matrix of T))
  (lambda (fill)
    ; ENSURES: (result m n) is an m by n matrix,
    ; each of whose elements is fill.
    (lambda (nrows ncols)
      ((matrix-generator (lambda (i j) fill) nrows ncols)))))