# Higher Kinded Types

**URL:** <https://racket.discourse.group/t/higher-kinded-types/3103>\
**Category:** General\
**Created:** [August 16, 2024, 7:29am UTC](https://racket.discourse.group/t/higher-kinded-types/3103 "2024-08-16T07:29:17Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![qnc](https://avatars.discourse-cdn.com/v4/letter/q/e5b9ba/32.png) [@qnc](https://racket.discourse.group/u/qnc)\
**Post date:** [August 16, 2024, 7:29am UTC](https://racket.discourse.group/t/higher-kinded-types/3103/1 "2024-08-16T07:29:17Z")

</div>

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

```scheme
type TypeApply f x = f x

```

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

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

```