現状は素で書く必要があるので
{ kind: "k", k: { _0: { x: { x: "hello" } } } }
https://github.com/sidepelican/CallableKit/blob/main/example/TSClient/src/index.ts#L31
のようにユーザーが書かないといけない。
function TestComplexType_E_k<T>(_0: TestComplexType_K<T>): TestComplexType_E { ... }
が提供されていれば、
TestComplexType_E_k({ x: { x: "hello" } })
と書けて、自明で冗長な k に関する記述をカットできる。