Blog post series: Alternative type constructors and HKT

language design
89

I don’t understand how this “subkind” and “punning” business is a better solution than having constraint kinds. Can you elaborate on that?