Status: annoyed by a limitation in the TypeScript type system, but reminding myself that it’s a limitation of a feature that exists in no other production type system except Haskell with a bunch of extensions turned on.

Wanted: Partial Type Argument Inference