Excellent description of HKTs. As a rust programmer I sort of knew these things but this helped make it clearer.