(deftype extendable-vector (&optional (type t type-p))
  `(and ,(if type-p
             `(vector ,type)
             'vector)
     (not simple-array)
     (satisfies adjustable-array-p)
     (satisfies array-has-fill-pointer-p)))