Author a new hkt-toolbelt utility from a description of its behaviour, or convert an existing runtime function into a type-level kind. Covers the whole path — `_$` base type, curried kind chain via scaffolding/generate-kind.ts, barrel wiring, and Test.Expect…
2026年7月26日