type A = ()
:kind! A