[T, ...A | Record?(T) and (Tuple[...RecordFieldTypes(T)] == Tuple[...A])] inlined T(...args:A) returned:T { ...recordFields(returned) <-- ...args; }
Done