Fix of SI-6113 type tags for higher kinds