[step1 (-> (and/c number?
                  less-than-one-hundred?)
            string?)]

(define (less-than-one-hundred? n)
  (< n 100))

(step1 100)