Higher Kinded Types

General
1

I'm wondering whether HKTs are supported in Typed Racket. Take this Haskell snippet for example:

type TypeApply f x = f x

I've tried the following which didn't work:

(define-type (TypeApply f x) (f x))