(import "alist.slime") (define-typed (tf n :number a :alist) (printf n) (pprint-alist a)) (define a (make-alist)) (alist-set! a 'a 1) (alist-set! a 'b 2) (tf 1 a) (define (test a b) (printf a b)) (test :ij :yes)