so in this case HKs is always called for expansion...

# arrow-meta

[raulraja]

so in this case HKs is always called for expansion before type classes since type classes needs that.