Higher kinded types are currently not supported by the TS compiler and would be a highly appreciated feature.