type

The type keyword

The Type kind

The TYPE kind constructor