TypeScript type system can't describe currying? | Heykuki News