#lang typed/racket

(: make-n-func (((Listof Number) -> (Listof Number)) Integer ->
                                               ((Listof Number) -> (Listof Number))))
(define (make-n-func func n)
  (lambda: ([args : (Listof Number)]) (apply func (take args n))))

; untyped
; (define (make-n-func func n)
;  (lambda (args) (apply func (take args n))))