Do you think it would be possible to derive HKT forms?

[Avi-D-coder]

Taking a cursory look it seems possible, but I'm not clear if it would be useful.

Thanks for putting this library together, I have been trying to use GAT on nightly, but it's far from working.