9 lines
121 B
Racket
9 lines
121 B
Racket
#lang typed/racket
|
|
|
|
(define-new-subtype F (make-F (-> Real Real)))
|
|
|
|
(: app : F Real -> Real)
|
|
(define (app f x)
|
|
(f x))
|
|
|