Kinds

[vegansk]

Do you have plans to introduce other kinds in addition to * -> *?

[frankpf]

I'm not the original author, but I extended their original * -> * encoding to support HKTs up to * -> * -> * -> * -> *.
Changing it to support more kinds is trivial. Here's the gist: https://gist.github.com/frankpf/439de122db18407786fe7faab4cf7319