Higher Order Type in TypeScript

Scope