(use prcc)

(define foo
  (<and>
   (lazy (<or> (<c> #\a)
               foo))
   (<c> #\b)))

(pp (parse-string "abb" (<and> foo (eof))))

;; parsing 'abb' failed:
;; 	(expect: end of file)@(1, 3)
;; #f