4 Types in Typed Racket (続き) Rest argumentsの単純なケース （この前もちょっと出てきてましたが） *で0個以上の繰り返しであることを示してます (: sum (-> Number * Number)) (define (sum . xs) (if (null? xs) 0 (+ (car xs) (apply sum (cdr xs))))…