I've seen the term "homomorphic mapped type" in a few TypeScript PRs. Here's an example: https://github.com/microsoft/TypeScript/pull/21919 In --strictNullChecks mode, when a homomorphic mapped ...