[mafribe]

I guess the only way to find out is to await the emergence of low-level languages with HKTs and then run suitable experiments.