Advanced TypeScript Patterns for TMNL

Overview

TMNL uses sophisticated TypeScript patterns that extend beyond Effect Schema. This skill covers:

1. Conditional Types — Type-level branching with infer
2. Mapped Types — Object transformation with [K in keyof]
3. Branded Types — Nominal typing for type safety
4. Generic Constraints — Cascading bounds and defaults
5. Pattern Matching — Extract<> for discriminated unions
6. Utility Composition — Partial, Readonly, Record, Pick, Omit
7. Template Literals — String-level type constraints
8. Type Decomposition — Extract types from complex generics

Scope Distinction: Effect Schema patterns (Schema.TaggedStruct, Schema.brand) are covered in effect-schema-mastery. This skill covers pure TypeScript patterns.