Question: Possible HKT support?

[raveclassic]

Hi!

Currently I'm using TypeScript as a primary language but it lacks a predictable, complete and sound type system so this project looks very promising and I'm looking forward to the first release.

The question I'd like to ask is whether you're going to support higher-kinded types?

This is a commonly requested feature in languages like TypeScript#1213 and Flow#30 and the only possible solution is lightweight higher-kinded polymorphism which is implemented in libraries like fp-ts. But the solution is far from perfect, leads to poor DX and messy code.

However fully implementing HKT in Hegel would open doors to adopting battle tested FP practices from languages like Haskell and Scala.

[JSMonk]

Hi!

It's a really good one. I think the answer is yes.