Defunctionalisation of higher-order functions and higher-kinded types in TypeScript