Common Lisp の type system で fizzbuzz

gistfile1.lisp

(defun fizzp (n) (zerop (mod n 3)))
(defun buzzp (n) (zerop (mod n 5)))

(deftype fizz () `(and integer (satisfies fizzp)))
(deftype buzz () `(and integer (satisfies buzzp)))
(deftype fizzbuzz () `(and fizz buzz))

(defun fizzbuzz-1 (n)
  (etypecase n
    (fizzbuzz (print "Fizz Buzz"))
    (fizz     (print "Fizz"))
    (buzz     (print "Buzz"))
    (integer  (print n))))

(defun fizzbuzz (start end)
  (loop for n from start to end
       do (fizzbuzz-1 n)))