This particular feature is invented in ts, other instances of ts inventing a completely new thing are conditional types and mapped types. F# has type provider w

This particular feature is invented in ts, other instances of ts inventing a completely new thing are conditional types and mapped types. F# has type provider which is similar in some of its usages but different enough i dont think they're related.