type T a = a
:kind! T
:kind T