4 ms·GAT solves typing problems (by making a subset of HKT possible)by pas 2y agoGAT solves typing problems (by making a subset of HKT possible)