3 ms·TS does not have HKT. The post simply described improved inference on types with several generic parameters.by platz 7y agoTS does not have HKT. The post simply described improved inference on types with several generic parameters.