TypeDef: $.Input<typeof $TypeDef>