Comment by mruts

Could you elaborate? How does type erasure relate to HKT?