consはどうするの
(declare-type number-list (cons int number-list))

(typed-define number-list var (list 1 2 3)) ; ○
(typed-define number-list var (cons 1 2)) ; ×