(define (foldl1 f xs)
  (foldl f (first xs) (rest xs)))

(first '(a b c d e . f))
;;==>
;;first: contract violation
;;  expected: (and/c list? (not/c empty?))
;;  given: '(a b c d e . f)