Typescript type inference and optional object property

Question

Basically what I want to achieve is to have class X infer its K type from the provided constructor argument typing.

I have written this:

interface XContstr