(import (chicken type))

(: nullary1 (--> string))
(define (nullary1) "foo")

(: nullary2 (procedure () string))
(define (nullary2) "bar")

(display (nullary1))
(display (nullary2))
(newline)