$ cat ijij.scm ijij.types
(: baz (procedure (*) fixnum)
   ((fixnum) '1)
   ((symbol) '2))
(define (baz a) a)
(print (baz 'a))
(print (baz 1))
; GENERATED BY CHICKEN 4.7.5 FROM ijij.scm

(baz (#(procedure) baz (*) fixnum) ((fixnum) '1) ((symbol) '2))
; END OF FILE