Hegel: High order function type inheritance

[nanot1m]

If we declare two functions:

const id = x => x
const K = a => b => a

And then pass id as the argument to K

const second = K(id)

Type of the function second will be <_c, _a>(_c) => _a,
but it should be something like <_c>(_c) => <_b>(_b) => _b

https://jsmonk.github.io/hegel/try#MYewdgzgLgBAlgExgXhgDxQPnQKFJWAM2hRgEMsYAjSsvcEiMJVYqACkQEp6CYwArgFsAXDACMpNu3Fd2AcnHye+RlABOY+QCZ5pJghlydynEA

[JSMonk]

Good issue. We will fix it soon.
Thank you for your contribution ^_^

[nanot1m]

It is working now!

[JSMonk]

Seems like it doesn't:C

[nanot1m]

I don't see any issues on https://hegel.js.org/try